多选题 以“有S是M,所有P不是M”为前提进行三段论推理,将所得结论再进行变形法推理,可得出的结论()