Consider the following premises. John is driving a car if and only if Jennifer is a cashier. Jennifer is taking a plane. For all x_14, x_14 will not drive a car. Can we infer the following from them? Jennifer is taking a plane and Jennifer is not a cashier.
 From the fact that for all x_14, x_14 will not drive a car we can infer that John is not driving a car. From the fact that John is driving a car if and only if Jennifer is a cashier, and that John is not driving a car we can infer that Jennifer is not a cashier. Finally, from the fact that Jennifer is taking a plane, and that Jennifer is not a cashier we can infer that Jennifer is taking a plane and Jennifer is not a cashier. Therefore, the answer is yes.