Consider the following premises. For all z_1, z_1 is a soldier. It is not late. It is late or Patricia is driving a car. Can we infer the following from them? Patricia is not driving a car.
 From the fact that for all z_1, z_1 is a soldier we can infer that David is a soldier. Finally, from the fact that it is late or Patricia is driving a car, and that it is not late we can infer that Patricia is driving a car, which contradicts that Patricia is not driving a car. Therefore, the answer is no.