以“A、B、C三人中至少有一人是作案人”和“B不是作案人”这两个命题作前提进行演绎推理，可必然推出结论（）。

• A、如果A不是作案人，那么C就是作案人
• B、A和C都是作案人
• C、A、B二人中至少有一人不是作案人
• D、A和C都不是作案人