Consider the following premises. For all x_11, x_11 will play squash or x_11 will drink water. For all x_11, x_11 will not play squash. If Thomas drinks water, then Michael is sleeping. Can we infer the following from them? If we can, name the inference rule being used: Michael is not sleeping.
 From the fact that for all x_11, x_11 will play squash or x_11 will drink water, and that for all x_11, x_11 will not play squash we can infer that for all x_11, x_11 will drink water via universal disjunctive syllogism. From the fact that for all x_11, x_11 will drink water we can infer that Thomas is drinking water via universal instantiation. Finally, from the fact that if Thomas drinks water, then Michael is sleeping, and that Thomas is drinking water we can infer that Michael is sleeping via modus ponens, which contradicts that Michael is not sleeping. Therefore, the answer is no.