Consider the argument,

If n is a multiple of 4, then n is even.

However, n is not even.

Therefore, n is not a multiple of 4.

The objective is to identify the derivation rule for the above argument.