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

①有非P是S

②有S是非P

③有S是P

④有P不是S

A、①②

B、①③

C、②④

D、③④