Consider the following premises. Jennifer is not a soldier. For all x_2, x_2 is a soldier if and only if x_2 will go running. Can we infer the following from them? Jennifer is not running.
 From the fact that for all x_2, x_2 is a soldier if and only if x_2 will go running we can infer that Jennifer is a soldier if and only if Jennifer is running. Finally, from the fact that Jennifer is a soldier if and only if Jennifer is running, and that Jennifer is not a soldier we can infer that Jennifer is not running. Therefore, the answer is yes.