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

• A、第一格的EIO式
• B、第二格EIO式
• C、第三格IEO式
• D、第四格的IEO式