Consider the following premises. It is windy or it is cold. If it is windy, then Mary is a taxi driver. Mary is not a taxi driver. Susan is playing a game if and only if it is cold. Can we infer the following from them? If we can, name the inference rule being used: Susan is not playing a game.
 From the fact that if it is windy, then Mary is a taxi driver, and that Mary is not a taxi driver we can infer that it is not windy via modus tollens. From the fact that Susan is playing a game if and only if it is cold we can infer that if it is cold, then Susan is playing a game via biconditional elimination. From the fact that it is windy or it is cold, and that it is not windy we can infer that it is cold via disjunctive syllogism. Finally, from the fact that if it is cold, then Susan is playing a game, and that it is cold we can infer that Susan is playing a game via modus ponens, which contradicts that Susan is not playing a game. Therefore, the answer is no.