这个正确的三段论是：
（P）（A）（M）
SOM
∴S（O）P
推导过程为：
①先确定结论一定是O判断，这是因为前提中有一个是否定，结论一定是否定；前提中有一个是特称，结论一定是特称。
②再确定大前提一定是A命题。
这是因为，如果大前提是E或O命题，则会由于两个都是否定前提而得不出必然的结论；如果大前提是I命题，则会由于两个前提都是特称而得不出必然的结论。
③最后确定大前提的主项一定是大项，这是因为大项在结论中周延；因此，它在前提中必须周延，否则就会违反‚在前提中不周延的项，在结论中也不得周延‛的规则