Consider the following premises. For all y, if y reads a book, then y is climbing a mountain. For all y, if y plays tennis, then y is drinking water. For all y, y will climb a mountain if and only if y will play tennis. Can we infer the following from them? There is at least one y for which the fact that y reads a book does not imply that y is drinking water.
 From the fact that for all y, y will climb a mountain if and only if y will play tennis we can infer that for all y, if y climbs a mountain, then y is playing tennis. From the fact that for all y, if y reads a book, then y is climbing a mountain, and that for all y, if y climbs a mountain, then y is playing tennis we can infer that for all y, if y reads a book, then y is playing tennis. Finally, from the fact that for all y, if y reads a book, then y is playing tennis, and that for all y, if y plays tennis, then y is drinking water we can infer that for all y, if y reads a book, then y is drinking water, which contradicts that There is at least one y for which the fact that y reads a book does not imply that y is drinking water. Therefore, the answer is no.