Consider the following premises. If Linda drives a car, then Linda is running. For all x_12, if x_12 goes running, then x_12 is driving a car. Linda is not driving a car. Can we infer the following from them? Linda is running.
 From the fact that for all x_12, if x_12 goes running, then x_12 is driving a car we can infer that if Linda goes running, then Linda is driving a car. From the fact that if Linda drives a car, then Linda is running, and that if Linda goes running, then Linda is driving a car we can infer that Linda is driving a car if and only if Linda is running. From the fact that Linda is driving a car if and only if Linda is running we can infer that if Linda goes running, then Linda is driving a car. Finally, from the fact that if Linda goes running, then Linda is driving a car, and that Linda is not driving a car we can infer that Linda is not running, which contradicts that Linda is running. Therefore, the answer is no.