以三段论的前提PAM和SEM推出的结论为基础，再进行直接推理，能必然推出

首先可得出三段论的结论SEP，接着进行直接推理，可推出很多结论：1、SOP，2、¬（SAP），3、¬（SIP），4、PES，5、PA¬S，6、¬SIP，7、¬SO¬P，8、SA¬P，9、SI¬P，10、¬PIS，11、¬PO¬S。

例子是：

所有a是b，c不是a,所以c不是b

下面一个个来：

A

所有a不是b，c是b，所以a不是c 排除

B

所有a是b，有些a是c，所以所有c是b 排除

C

所有a是b，b是c，因此a是c 这是传递性的 排除

D

所有a是b，c是a，所以c是b（b是指不能独立充当句法成分）与例题结构一样

所以选D

---