这个没有反例.你画下图就知道.
所有P是M（ 所有的P 都在 M的范围里面）
所有的S不是M,并且 P是在M里面.都不是M 更不可能是P.