Consider the following premises. It is not overcast. It is cold or it is windy. David is taking a plane if and only if it is overcast. It is cold if and only if David is taking a plane. Can we infer the following from them? If we can, name the inference rule being used: It is windy.
 From the fact that David is taking a plane if and only if it is overcast, and that it is not overcast we can infer that David is not taking a plane via biconditional elimination. From the fact that it is cold if and only if David is taking a plane, and that David is not taking a plane we can infer that it is not cold via biconditional elimination. Finally, from the fact that it is cold or it is windy, and that it is not cold we can infer that it is windy via disjunctive syllogism. Therefore, the answer is yes.