Consider the following premises. It is late. If Patricia plays tennis, then it is not late. Thomas is driving a car if and only if Patricia is playing tennis. Can we infer the following from them? If we can, name the inference rule being used: Thomas is not driving a car or Thomas is taking a plane.
 From the fact that if Patricia plays tennis, then it is not late, and that it is late we can infer that Patricia is not playing tennis via modus tollens. From the fact that Thomas is driving a car if and only if Patricia is playing tennis, and that Patricia is not playing tennis we can infer that Thomas is not driving a car via biconditional elimination. Finally, from the fact that Thomas is not driving a car we can infer that Thomas is not driving a car or Thomas is taking a plane via addition. Therefore, the answer is yes.