Consider the following premises. For all z_1, z_1 will make tea if and only if z_1 will drive a car. Can we infer the following from them? For all z_1, if z_1 makes tea, then z_1 is driving a car.
Yes.