Consider the following premises. For all x_10, x_10 is not a soldier. If Joseph plays a game, then Linda is driving a car. If Linda drives a car, then Joseph is playing a game. Joseph is a soldier if and only if Linda is driving a car. Can we infer the following from them? Joseph is not playing a game.
 From the fact that if Joseph plays a game, then Linda is driving a car, and that if Linda drives a car, then Joseph is playing a game we can infer that Joseph is playing a game if and only if Linda is driving a car. From the fact that for all x_10, x_10 is not a soldier we can infer that Joseph is not a soldier. From the fact that Joseph is a soldier if and only if Linda is driving a car, and that Joseph is not a soldier we can infer that Linda is not driving a car. Finally, from the fact that Joseph is playing a game if and only if Linda is driving a car, and that Linda is not driving a car we can infer that Joseph is not playing a game. Therefore, the answer is yes.