Consider the following premises. For all x, if x makes tea, then x is driving a car. For all x, x will not drive a car. For all x, if x drinks water, then x is making tea. There is at least one x for which x will drink water if and only if x will drive a car. Can we infer the following from them? For all x, x will drink water.
 From the fact that for all x, if x drinks water, then x is making tea, and that for all x, if x makes tea, then x is driving a car we can infer that for all x, if x drinks water, then x is driving a car. From the fact that there is at least one x for which x will drink water if and only if x will drive a car we can infer that there is at least one x for which if x drives a car, then x is drinking water. From the fact that for all x, if x drinks water, then x is driving a car, and that there is at least one x for which if x drives a car, then x is drinking water we can infer that there is at least one x for which x will drink water if and only if x will drive a car. Finally, from the fact that there is at least one x for which x will drink water if and only if x will drive a car, and that for all x, x will not drive a car we can infer that there is at least one x for which x will not drink water, which contradicts that For all x, x will drink water. Therefore, the answer is no.