What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Elisabeth is a mechanic. Joseph is poor.
Elisabeth is a mechanic and Joseph is poor. Joseph is poor and Elisabeth is a mechanic.