Consider the following premises. For all z, if z drinks water, then z is playing squash. For all z, if z goes running, then z is drinking water. For all z, if z plays squash, then z is running. Can we infer the following from them? If we can, name the inference rule being used: If Richard goes running, then Richard is drinking water.
 From the fact that for all z, if z drinks water, then z is playing squash, and that for all z, if z plays squash, then z is running we can infer that for all z, if z drinks water, then z is running via universal transitivity. From the fact that for all z, if z drinks water, then z is running, and that for all z, if z goes running, then z is drinking water we can infer that for all z, z will drink water if and only if z will go running via universal biconditional introduction. From the fact that for all z, z will drink water if and only if z will go running we can infer that Richard is drinking water if and only if Richard is running via universal instantiation. Finally, from the fact that Richard is drinking water if and only if Richard is running we can infer that if Richard goes running, then Richard is drinking water via biconditional elimination. Therefore, the answer is yes.