Consider the following premises. If Linda plays squash, then John is making tea. For all z, if z goes running, then z is making tea. John is running or Linda is playing squash. For all z, if z makes tea, then z is running. Can we infer the following from them? If we can, name the inference rule being used: John is making tea.
 From the fact that for all z, if z goes running, then z is making tea, and that for all z, if z makes tea, then z is running we can infer that for all z, z will go running if and only if z will make tea via universal biconditional introduction. From the fact that for all z, z will go running if and only if z will make tea we can infer that John is running if and only if John is making tea via universal instantiation. From the fact that John is running if and only if John is making tea we can infer that if John goes running, then John is making tea via biconditional elimination. Finally, from the fact that if John goes running, then John is making tea, that if Linda plays squash, then John is making tea, and that John is running or Linda is playing squash we can infer that John is making tea via disjunction elimination. Therefore, the answer is yes.