三段论推理是演绎推理中的一种简单推理判断，它包含：一个一般性的原则(大前提)，一个附属于前面大前提的特殊化陈述(小前提)，以及由此引申出的特殊化陈述符合一般性原则的结论。根据以上定义，下列推理过程正确的是()。