以“如果所有A是B，那么所有A是C”和“有A不是C”为前提进行推理，能必然推出结论（）。

A.“所有A是B”

B.“所有A不是B”

C.“有A是B”

D.“有A不是B”