Consider the following premises. For all y, y will play tennis or y is not fast. For all y, if y were fast, then y is playing tennis. There is at least one y for which if y plays tennis, then y is fast. Can we infer the following from them? There is at least one y for which y will play tennis if and only if y is fast.
Yes.