Consider the following premises. If Thomas climbs a mountain, then it is not snowing. Jennifer is making tea or Thomas is climbing a mountain. It is snowing. Jennifer is not making tea or Elisabeth is playing tennis. Can we infer the following from them? If we can, name the inference rule being used: Elisabeth is playing tennis.
 From the fact that if Thomas climbs a mountain, then it is not snowing, and that it is snowing we can infer that Thomas is not climbing a mountain via modus tollens. From the fact that Jennifer is making tea or Thomas is climbing a mountain, and that Jennifer is not making tea or Elisabeth is playing tennis we can infer that Thomas is climbing a mountain or Elisabeth is playing tennis via resolution. Finally, from the fact that Thomas is climbing a mountain or Elisabeth is playing tennis, and that Thomas is not climbing a mountain we can infer that Elisabeth is playing tennis via disjunctive syllogism. Therefore, the answer is yes.