What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Susan were a soldier, then William is a janitor. If William were a janitor, then Linda is driving a car. Susan is a soldier or Linda is not driving a car.
If Susan were a soldier, then Linda is driving a car. If Linda drives a car, then Susan is a soldier.