What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Patricia is a soldier or Charles is not driving a car. For all x_14, x_14 will drive a car.
If Charles drives a car, then Patricia is a soldier.