Consider the following premises. It is snowing if and only if it is windy. It is raining. If it rains, then it is snowing. Can we infer the following from them? If we can, name the inference rule being used: It is not windy.
 From the fact that if it rains, then it is snowing, and that it is raining we can infer that it is snowing via modus ponens. From the fact that it is snowing if and only if it is windy we can infer that if it snows, then it is windy via biconditional elimination. Finally, from the fact that if it snows, then it is windy, and that it is snowing we can infer that it is windy via modus ponens, which contradicts that It is not windy. Therefore, the answer is no.