Consider the following premises. If Linda goes running, then Barbara is happy. Linda is running or Barbara is not a poet. For all x_17, if x_17 were happy, then x_17 is a poet. Can we infer the following from them? If we can, name the inference rule being used: If Barbara were happy, then Linda is running.
 From the fact that for all x_17, if x_17 were happy, then x_17 is a poet we can infer that if Barbara were happy, then Barbara is a poet via universal instantiation. From the fact that Linda is running or Barbara is not a poet we can infer that if Barbara were a poet, then Linda is running via rewriting. Finally, from the fact that if Barbara were happy, then Barbara is a poet, and that if Barbara were a poet, then Linda is running we can infer that if Barbara were happy, then Linda is running via transitivity. Therefore, the answer is yes.