Consider the following premises. Jennifer is running if and only if Jennifer is driving a car. For all y, if y plays tennis, then y is running. For all y, if y drives a car, then y is playing tennis. Can we infer the following from them? Jennifer is driving a car if and only if Jennifer is running.
 From the fact that for all y, if y drives a car, then y is playing tennis, and that for all y, if y plays tennis, then y is running we can infer that for all y, if y drives a car, then y is running. From the fact that for all y, if y drives a car, then y is running we can infer that if Jennifer drives a car, then Jennifer is running. From the fact that Jennifer is running if and only if Jennifer is driving a car we can infer that if Jennifer goes running, then Jennifer is driving a car. Finally, from the fact that if Jennifer drives a car, then Jennifer is running, and that if Jennifer goes running, then Jennifer is driving a car we can infer that Jennifer is driving a car if and only if Jennifer is running. Therefore, the answer is yes.