Consider the following premises. Sarah is listening to a song or it is not windy. If Sarah listens to a song, then it is windy. Sarah is not listening to a song. Can we infer the following from them? If we can, name the inference rule being used: It is not windy.
 From the fact that Sarah is listening to a song or it is not windy we can infer that if it is windy, then Sarah is listening to a song via rewriting. From the fact that if Sarah listens to a song, then it is windy, and that if it is windy, then Sarah is listening to a song we can infer that Sarah is listening to a song if and only if it is windy via biconditional introduction. Finally, from the fact that Sarah is listening to a song if and only if it is windy, and that Sarah is not listening to a song we can infer that it is not windy via biconditional elimination. Therefore, the answer is yes.