Consider the following premises. If Patricia drives a car, then Barbara is playing tennis. If Barbara plays tennis, then James is drinking water. James is not drinking water. Can we infer the following from them? If we can, name the inference rule being used: Patricia is not driving a car.
 From the fact that if Patricia drives a car, then Barbara is playing tennis, and that if Barbara plays tennis, then James is drinking water we can infer that if Patricia drives a car, then James is drinking water via transitivity. Finally, from the fact that if Patricia drives a car, then James is drinking water, and that James is not drinking water we can infer that Patricia is not driving a car via modus tollens. Therefore, the answer is yes.