Consider the following premises. For all y, if y were a server, then y is drinking water. There is at least one y for which if y drinks water, then y is a server. For all y, if y were a server, then y is drinking water. Can we infer the following from them? There is at least one y for which y will drink water if and only if y is a server.
Yes.