Consider the following premises. For all x_8, x_8 will drive a car if and only if x_8 is a soldier. For all x_8, x_8 is a soldier or x_8 will not play tennis. Can we infer the following from them? For all x_8, if x_8 plays tennis, then x_8 is driving a car.
 From the fact that for all x_8, x_8 will drive a car if and only if x_8 is a soldier we can infer that for all x_8, if x_8 were a soldier, then x_8 is driving a car. From the fact that for all x_8, x_8 is a soldier or x_8 will not play tennis we can infer that for all x_8, if x_8 plays tennis, then x_8 is a soldier. Finally, from the fact that for all x_8, if x_8 plays tennis, then x_8 is a soldier, and that for all x_8, if x_8 were a soldier, then x_8 is driving a car we can infer that for all x_8, if x_8 plays tennis, then x_8 is driving a car. Therefore, the answer is yes.