What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Jessica were an astronaut, then William is a sailor. If William were a sailor, then Elisabeth is a soldier. Linda is not running. Linda is running or Jessica is an astronaut.
If Jessica were an astronaut, then Elisabeth is a soldier. Jessica is an astronaut.