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

A是充分条件假言推理

B是必要条件假言推理

C违反“肯定后件不能肯定前件”的规则

D违反“否定前件不能否定后件”的规则