以“有S是M，所有P不是M”为前提进行三段论推理，将所得结论再进行变形法直接推理，可得出的结论有（）.

A . 有非P是S

B . 有P不是S

C . 所有P不是S

D . 有S是P

E . 有S是非P