如果以"所有A都不是B,所有A都是C"为前提,进行正确的三段论推理,可得出()。
A:有C不是B
B:有B不是C
C:所有C都不是B
D:所有B都不是C
出自:法学