“有的S不是P，因为有的S是M，而所有的P都不是M”这一三段论有效式是（）。