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

• A、“所有A是B”
• B、“所有A不是B”
• C、“有A是B”
• D、“有A不是B”