Consider the following premises. For all y, if y drinks water, then y is reading a book. There is at least one y for which if y reads a book, then y is drinking water. For all y, y will read a book if and only if y will drink 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 will read a book.
Yes.