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

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

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

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

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