Consider the following premises. For all x_8, x_8 will make tea if and only if x_8 will go running. If it is overcast, then Mary is making tea. Can we infer the following from them? If we can, name the inference rule being used: If it is overcast, then Mary is running.
 From the fact that for all x_8, x_8 will make tea if and only if x_8 will go running we can infer that for all x_8, if x_8 makes tea, then x_8 is running via universal biconditional elimination. From the fact that for all x_8, if x_8 makes tea, then x_8 is running we can infer that if Mary makes tea, then Mary is running via universal instantiation. Finally, from the fact that if it is overcast, then Mary is making tea, and that if Mary makes tea, then Mary is running we can infer that if it is overcast, then Mary is running via transitivity. Therefore, the answer is yes.