“有些S是M，所有P不是M，所以有些S不是P”这个三段论是（）.

A.第一格EIO式

B.第二格EIO式

C.第三格EIO式

D.第四格EIO式