下面四个推导过程符合演绎推理三段论形式且推理正确的是（　　）

A：大前提：无限不循环小数是无理数；小前提：π是无理数；结论：π是无限不循环小数

B：大前提：无限不循环小数是无理数；小前提：π是无限不循环小数；结论：π是无理数

C：大前提：π是无限不循环小数；小前提：无限不循环小数是无理数；结论：π是无理数

D：大前提：π是无限不循环小数；小前提：π是无理数；结论：无限不循环小数是无理数