Consider the following premises. If Thomas plays tennis, then it is not raining. For all x_18, x_18 will take a plane. It is raining. Can we infer the following from them? If we can, name the inference rule being used: Thomas is playing tennis.
 From the fact that for all x_18, x_18 will take a plane we can infer that Charles is taking a plane via universal instantiation. Finally, from the fact that if Thomas plays tennis, then it is not raining, and that it is raining we can infer that Thomas is not playing tennis via modus tollens, which contradicts that Thomas is playing tennis. Therefore, the answer is no.