一个有效三段论的大项在前提中周延而在结论中不周延，请写出该三段论的格与式，并写出推导过程。

一个有效三段论的大项在前提中周延而在结论中不周延，请写出该三段论的格与式，并写出推导过程。

该三段论为：因大项在结论中不周延，故结论为肯定，结论为SAP或为SIP。若结论为SAP，则小项S在结论中周延，则大小项在前提中都必须周延;另一方面，由结论肯定，得两前提都必须肯定，于是，大小前提分别为PAM和SAM，从而中项两次不周延，三段论无效。若结论为SIP，则由结论肯定得出两前提均为肯定;大项在前提中周延，大前提为PAM，因M在大前提中不周延，故M在小前提中必须周延，所以小前提为MAs。