Consider the following premises. If Thomas plays a game, then Jessica is playing tennis. It is not overcast. Jessica is playing tennis if and only if it is cloudy. If it is cloudy, then it is overcast. Can we infer the following from them? If we can, name the inference rule being used: Thomas is playing a game.
 From the fact that if it is cloudy, then it is overcast, and that it is not overcast we can infer that it is not cloudy via modus tollens. From the fact that Jessica is playing tennis if and only if it is cloudy, and that it is not cloudy we can infer that Jessica is not playing tennis via biconditional elimination. Finally, from the fact that if Thomas plays a game, then Jessica is playing tennis, and that Jessica is not playing tennis we can infer that Thomas is not playing a game via modus tollens, which contradicts that Thomas is playing a game. Therefore, the answer is no.