大项在结论中周延，说明结论为否定命题，小项在结论中不周延，说明结论为特称命题，可知结论是SOP； 大项在大前提中周延，中项在大前提中也周延，说明大前提为PEM，或MEP； 小项在小前提中不周延，而中项在小前提中周延，大前提为否定命题，小前提必为肯定命题，因此，小前提应为MAS； 这个三段论的有效式是第三格的EAO式或第四格的EAO式。
