Consider the following argument: 'If the alarm rings, I wake up. I did not wake up. Therefore, the alarm did not ring.' Which rule of inference is this?