Consider the following premises. For all x_2, x_2 is a cashier if and only if x_2 will drive a car. Karen is not a cashier. Can we infer the following from them? Karen is driving a car.
 From the fact that for all x_2, x_2 is a cashier if and only if x_2 will drive a car we can infer that Karen is a cashier if and only if Karen is driving a car. Finally, from the fact that Karen is a cashier if and only if Karen is driving a car, and that Karen is not a cashier we can infer that Karen is not driving a car, which contradicts that Karen is driving a car. Therefore, the answer is no.