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