以“所有A是B，所有B不是C”为前提，进行三段论推理，能必然推出结论：

以“所有A是B，所有B不是C”为前提，进行三段论推理，能必然推出结论：
A.所有C是A
B.所有B不是A
C.有的C是B
D.所有C不是A
正确答案：A