“如果正在下雨那么道路湿。已知没有下雨，所以道路不湿”。这个推理（）。

• A、是充分条件假言推理
• B、是必要条件假言推理
• C、违反“肯定后件不能肯定前件”的规则
• D、违反“否定前件不能否定后件”的规则