Consider the following premises. If it is windy, then it is late. It is late or Susan is a lawyer. If Susan were a lawyer, then it is windy. If it is late, then it is windy. Can we infer the following from them? If we can, name the inference rule being used: It is windy.
 From the fact that if it is windy, then it is late, and that if it is late, then it is windy we can infer that it is windy if and only if it is late via biconditional introduction. From the fact that it is windy if and only if it is late we can infer that if it is late, then it is windy via biconditional elimination. Finally, from the fact that if it is late, then it is windy, that if Susan were a lawyer, then it is windy, and that it is late or Susan is a lawyer we can infer that it is windy via disjunction elimination. Therefore, the answer is yes.