What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Richard is not a soldier. If Elisabeth works, then Richard is taking a plane. If Richard were a soldier, then Richard is taking a plane. If Elisabeth were fast, then Elisabeth is working. For all x_17, if x_17 takes a plane, then x_17 is a soldier.
If Elisabeth were fast, then Richard is taking a plane.