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

• A、充分条件假言推理。
• B、必要条件假言推理。
• C、符合“肯定前件就要肯定后件”的规则
• D、符合“否定后件就要否定前件”的规则