Consider the following premises. There is at least one y for which y will climb a mountain if and only if y will drive a car. Can we infer the following from them? There is at least one y for which if y drives a car, then y is climbing a mountain.
Yes.