Consider the following premises. For all x_17, if x_17 goes running, then x_17 is making tea. James is making tea if and only if Mary is a server. If Mary were a server, then James is running. Can we infer the following from them? If James makes tea, then James is running.
 From the fact that for all x_17, if x_17 goes running, then x_17 is making tea we can infer that if James goes running, then James is making tea. From the fact that James is making tea if and only if Mary is a server we can infer that if James makes tea, then Mary is a server. Finally, from the fact that if James makes tea, then Mary is a server, and that if Mary were a server, then James is running we can infer that if James makes tea, then James is running. Therefore, the answer is yes.