Consider the following premises. Linda is poor if and only if Thomas is running. Linda is poor or Linda is not making tea. Can we infer the following from them? If we can, name the inference rule being used: The fact that Linda makes tea does not imply that Thomas is running.
 From the fact that Linda is poor if and only if Thomas is running we can infer that if Linda were poor, then Thomas is running via biconditional elimination. From the fact that Linda is poor or Linda is not making tea we can infer that if Linda makes tea, then Linda is poor via rewriting. Finally, from the fact that if Linda makes tea, then Linda is poor, and that if Linda were poor, then Thomas is running we can infer that if Linda makes tea, then Thomas is running via transitivity, which contradicts that The fact that Linda makes tea does not imply that Thomas is running. Therefore, the answer is no.