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

A.SEP

B.SAP

C.SIP

D.SOP

E.没有S不是P