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