此推理的逻辑形式是A所有M不是P，有些S是M，所以有些S不是PB所有M不是P，S是M，所以S不是PC有些M不是P，有些S是M，所以S不是PDM是P，S不是M，所以S不是P