Consider the following premises. If James takes a plane, then Thomas is playing squash. James is taking a plane if and only if it is snowing. It is not windy. It is windy if and only if Thomas is playing squash. Can we infer the following from them? If we can, name the inference rule being used: It is not snowing.
 From the fact that it is windy if and only if Thomas is playing squash, and that it is not windy we can infer that Thomas is not playing squash via biconditional elimination. From the fact that if James takes a plane, then Thomas is playing squash, and that Thomas is not playing squash we can infer that James is not taking a plane via modus tollens. Finally, from the fact that James is taking a plane if and only if it is snowing, and that James is not taking a plane we can infer that it is not snowing via biconditional elimination. Therefore, the answer is yes.