以“所有P是M”、“所有的S不是M”为大、小前提进行三段论推理，可必然推出（）。

A.所有的S不是P

B.所有的S是P

C.有的S不是P

D.有的S是P

E.没有S不是P

正确答案：AC