Consider the following premises. For all x_5, if x_5 cooks, then x_5 is drinking water. Linda is playing squash or Elisabeth is cooking. If Linda plays squash, then Elisabeth is drinking water. Can we infer the following from them? If we can, name the inference rule being used: Elisabeth is drinking water.
 From the fact that for all x_5, if x_5 cooks, then x_5 is drinking water we can infer that if Elisabeth cooks, then Elisabeth is drinking water via universal instantiation. Finally, from the fact that if Linda plays squash, then Elisabeth is drinking water, that if Elisabeth cooks, then Elisabeth is drinking water, and that Linda is playing squash or Elisabeth is cooking we can infer that Elisabeth is drinking water via disjunction elimination. Therefore, the answer is yes.