Consider the following premises. If it rains, then Thomas is poor. Linda is a taxi driver if and only if it is raining. For all x_15, if x_15 were poor, then x_15 is playing a game. Can we infer the following from them? If we can, name the inference rule being used: If Linda were a taxi driver, then Thomas is playing a game.
 From the fact that for all x_15, if x_15 were poor, then x_15 is playing a game we can infer that if Thomas were poor, then Thomas is playing a game via universal instantiation. From the fact that if it rains, then Thomas is poor, and that if Thomas were poor, then Thomas is playing a game we can infer that if it rains, then Thomas is playing a game via transitivity. From the fact that Linda is a taxi driver if and only if it is raining we can infer that if Linda were a taxi driver, then it is raining via biconditional elimination. Finally, from the fact that if Linda were a taxi driver, then it is raining, and that if it rains, then Thomas is playing a game we can infer that if Linda were a taxi driver, then Thomas is playing a game via transitivity. Therefore, the answer is yes.