Consider the following premises. For all y, y will sleep if and only if y will drive a car. For all y, y will not drive a car. For all y, y is not an artist or y will drink water. For all y, y is an artist or y will sleep. Can we infer the following from them? William is drinking water.
 From the fact that for all y, y will sleep if and only if y will drive a car, and that for all y, y will not drive a car we can infer that for all y, y will not sleep. From the fact that for all y, y is an artist or y will sleep, and that for all y, y is not an artist or y will drink water we can infer that for all y, y will sleep or y will drink water. From the fact that for all y, y will sleep or y will drink water, and that for all y, y will not sleep we can infer that for all y, y will drink water. Finally, from the fact that for all y, y will drink water we can infer that William is drinking water. Therefore, the answer is yes.