一个有效三段论的大项在前提中周延而在结论中不周延，请写出该三段论的格与式，并写明推导过程。
：因大项在结论中不周延，即结论的谓项不周延，故结论为肯定判断，结论为SAP或SIP。若结论为SAP，则小项S在结论中周延，则大、小项在前提中都必须周延；另一方面，由结论肯定，得两前提都必须肯定，于是，大小前提分别为PAM和SAM，从而中项两次不周延，三段论无效。若结论为SIP，则由结论肯定得两前提均为肯定；大项在前提中周延，大前提为PAM，因M在大前提中不周延，故M在小前提中必须周延，于是小前提为MAS。证明(二)：大项在前提中周延，大项可为PAM的主项或否定判断的谓项；若大前提否定，则结论否定，则大项在结论中周延，与题设矛盾。故大前提为PAM。另一方面，大项在结论中不周延，故结论肯定，大小前提均肯定；则小前提为MAS，其结论必为SIP。
