以“如果A必然是B，那么C必然不是D”和“C可能是D”这两个命题作前提进行演绎推理，可以必然得出结论（）。

• A、A必然不是B
• B、A可能不是B
• C、A不可能是B
• D、A不可能不是B