以“所有P是M，有S不是M”为前提，进行三段论推理，推理正确的结论是（ ）。