Consider the following premises. For all y, y will play tennis or y will not drink water. There is at least one y for which y will not drink water. For all y, if y plays tennis, then y is drinking water. Can we infer the following from them? For all y, if y plays tennis, then y is drinking water.
That is one of the premises. Therefore, the answer is yes.