“如果正在下雨那么道路湿。已知没有下雨，所以道路不湿”。这个推理（）。A、是充分条件假言推理B、是必要条件假言推理C、违反“肯定后件不能肯定前件”的规则D、违反“否定前件不能否定后件”的规则

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