Consider the following premises. If Richard plays squash, then Robert is a mechanic. For all x_12, x_12 will play squash. For all x_12, x_12 will go running. Can we infer the following from them? If we can, name the inference rule being used: Robert is a mechanic.
 From the fact that for all x_12, x_12 will play squash, and that for all x_12, x_12 will go running we can infer that for all x_12, x_12 will play squash and x_12 will go running via universal conjunction. From the fact that for all x_12, x_12 will play squash and x_12 will go running we can infer that Richard is playing squash and Richard is running via universal instantiation. From the fact that Richard is playing squash and Richard is running we can infer that Richard is playing squash via simplification. Finally, from the fact that if Richard plays squash, then Robert is a mechanic, and that Richard is playing squash we can infer that Robert is a mechanic via modus ponens. Therefore, the answer is yes.