以“所有的P是M”，“所有的S不是M”为大、小前提进行三段论推理，不能必然推出（）、（）、（）。