单项选择题

以“没有M 不是P,有S 是M”为前提进行推理,推出的结论是()。

A.所有S 是P
B.有S 不是P
C.所有不S 是P
D.有S 是P