Consider the following premises. For all x_8, x_8 will play tennis. For all x_8, if x_8 were a nurse, then x_8 is a soldier. For all x_8, x_8 is a nurse or x_8 will play squash. For all x_8, if x_8 were a soldier, then x_8 is poor. For all x_8, if x_8 plays squash, then x_8 is a soldier. Can we infer the following from them? If we can, name the inference rule being used: For all x_8, x_8 will play tennis and x_8 is poor.
 From the fact that for all x_8, if x_8 were a nurse, then x_8 is a soldier, that for all x_8, if x_8 plays squash, then x_8 is a soldier, and that for all x_8, x_8 is a nurse or x_8 will play squash we can infer that for all x_8, x_8 is a soldier via universal disjunction elimination. From the fact that for all x_8, if x_8 were a soldier, then x_8 is poor, and that for all x_8, x_8 is a soldier we can infer that for all x_8, x_8 is poor via universal modus ponens. Finally, from the fact that for all x_8, x_8 will play tennis, and that for all x_8, x_8 is poor we can infer that for all x_8, x_8 will play tennis and x_8 is poor via universal conjunction. Therefore, the answer is yes.