Consider the following premises. For all y_4, if y_4 drives a car, then y_4 is an astronaut. For all y_4, y_4 is an astronaut if and only if y_4 will drive a car. Can we infer the following from them? The fact that Jennifer were an astronaut does not imply that Jennifer is driving a car.
That contradicts the premises. Therefore the answer is no.