Consider the following premises. If Charles listens to a song, then William is sleeping. If William sleeps, then Elisabeth is a carpenter. Thomas is a taxi driver if and only if Charles is listening to a song. If Elisabeth were a carpenter, then Linda is bored. Linda is not bored. Can we infer the following from them? If we can, name the inference rule being used: Thomas is a taxi driver.
 From the fact that if Charles listens to a song, then William is sleeping, and that if William sleeps, then Elisabeth is a carpenter we can infer that if Charles listens to a song, then Elisabeth is a carpenter via transitivity. From the fact that if Charles listens to a song, then Elisabeth is a carpenter, and that if Elisabeth were a carpenter, then Linda is bored we can infer that if Charles listens to a song, then Linda is bored via transitivity. From the fact that if Charles listens to a song, then Linda is bored, and that Linda is not bored we can infer that Charles is not listening to a song via modus tollens. Finally, from the fact that Thomas is a taxi driver if and only if Charles is listening to a song, and that Charles is not listening to a song we can infer that Thomas is not a taxi driver via biconditional elimination, which contradicts that Thomas is a taxi driver. Therefore, the answer is no.