Consider the following premises. Susan is listening to a song if and only if Linda is working. Linda is working if and only if it is windy. Can we infer the following from them? If we can, name the inference rule being used: If it is windy, then Susan is listening to a song.
 From the fact that Susan is listening to a song if and only if Linda is working we can infer that if Linda works, then Susan is listening to a song via biconditional elimination. From the fact that Linda is working if and only if it is windy we can infer that if it is windy, then Linda is working via biconditional elimination. Finally, from the fact that if it is windy, then Linda is working, and that if Linda works, then Susan is listening to a song we can infer that if it is windy, then Susan is listening to a song via transitivity. Therefore, the answer is yes.