What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Elisabeth is a bartender. John is not an astronaut. John is an astronaut or Barbara is cooking. If Karen were a taxi driver, then Elisabeth is not a bartender.
Karen is not a taxi driver. Barbara is cooking. Elisabeth is a bartender and John is not an astronaut. John is not an astronaut and Elisabeth is a bartender.