Consider the following premises. Linda is playing squash if and only if it is windy. It is windy or it is not late. Linda is not playing squash. If it is windy, then it is late. Can we infer the following from them? If we can, name the inference rule being used: It is not late.
 From the fact that Linda is playing squash if and only if it is windy, and that Linda is not playing squash we can infer that it is not windy via biconditional elimination. From the fact that it is windy or it is not late we can infer that if it is late, then it is windy via rewriting. 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. Finally, from the fact that it is windy if and only if it is late, and that it is not windy we can infer that it is not late via biconditional elimination. Therefore, the answer is yes.