最直接体现三段论公理的推理形式是（）

最直接体现三段论公理的推理形式是（）
A.所有M是P，所有M是S，所以，有些S是P
B.所有M是P，所有S是M，所以，所有S是P
C.所有M不是P，所有S是M，所以，所有S不是P
D.所有M不是P，所有M是S，所以，有些S不是P
E.所有P不是M，所有M是S，所以，有些S不是P
正确答案：BC