Consider the following premises. For all x_9, x_9 is bored. For all x_9, x_9 is a nurse or x_9 will drink water. For all x_9, x_9 is not a nurse. For all x_9, if x_9 were bored, then x_9 is playing squash. Can we infer the following from them? Linda is drinking water.
 From the fact that for all x_9, x_9 is a nurse or x_9 will drink water, and that for all x_9, x_9 is not a nurse we can infer that for all x_9, x_9 will drink water. From the fact that for all x_9, if x_9 were bored, then x_9 is playing squash, and that for all x_9, x_9 is bored we can infer that for all x_9, x_9 will play squash. From the fact that for all x_9, x_9 will drink water, and that for all x_9, x_9 will play squash we can infer that for all x_9, x_9 will drink water and x_9 will play squash. From the fact that for all x_9, x_9 will drink water and x_9 will play squash we can infer that Linda is drinking water and Linda is playing squash. Finally, from the fact that Linda is drinking water and Linda is playing squash we can infer that Linda is drinking water. Therefore, the answer is yes.