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

• A、所有S不是P
• B、所有S是P
• C、有S是P
• D、有S不是P
• E、没有S不是P