一个有效三段论的大项在前提中周延而在结论中不周延，试证明出该三段论的格与式。

该三段论形式为： PAM ∴MAS/SIP 推导过程可以是：如果大项在前提中周延，则大前提可为PAM或否定命题；如果大前提否定，则结论否定，则大项在结论中周延，这与题意矛盾，所以大前提为PAM。大项在结论中不周延，由于只有肯定命题谓项不周延，因此结论为肯定。据规则：两个前提中如果有一个是否定的，则结论是否定的，知结论肯定，则大小前提均为肯定。又据规则：中项在前提中至少周延一次，中项M在大前提中为肯定命题的谓项，不周延，在小前提中必须周延。在肯定命题中要周延须是MAS。根据规则：在前提中不周延的项，在结论中也不得周延，小项在前提中为肯定命题的谓项，不周延，在结论中也不能周延。由于S在结论中是主项，其结论必为SIP。