Consider the following premises. For all y, y will play tennis if and only if y will drive a car. For all y, if y drives a car, then y is playing tennis. Can we infer the following from them? For all y, if y plays tennis, then y is driving a car.
Yes.