Consider the following premises. Patricia is drinking water. Jessica is making tea. If Karen goes running, then Jessica is not making tea. Can we infer the following from them? If we can, name the inference rule being used: Karen is not running.
We can infer this via the modus tollens rule. Therefore, the answer is yes.