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