Consider the following premises. William is playing squash if and only if it is snowing. Barbara is not listening to a song. Barbara is listening to a song if and only if William is playing squash. It is snowing or it is not 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 Barbara is listening to a song if and only if William is playing squash, and that Barbara is not listening to a song we can infer that William is not playing squash via biconditional elimination. From the fact that William is playing squash if and only if it is snowing, and that William is not playing squash we can infer that it is not snowing via biconditional elimination. From the fact that it is snowing or it is not late we can infer that if it is late, then it is snowing via rewriting. Finally, from the fact that if it is late, then it is snowing, and that it is not snowing we can infer that it is not late via modus tollens. Therefore, the answer is yes.