What form of deductive reasoning is used in the given argument?

If it’s raining outside, I’ll wear my raincoat.
I am not wearing my raincoat.
It is not raining outside.

A.
law of detachment
B.
law of syllogism
C.
law of contrapositive
D.
identification of counterexample