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

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

A、“所有A是B”

B、“所有A不是B”