Com base no argumento a seguir, assinale a alternativa que indica qual regra de inferência válida da dedução lógica ele exemplifica. 

Se chove, então a rua fica molhada.
Choveu. 
 Logo, a rua ficou molhada.