What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Susan is cooking or Susan is not a nurse. Susan is a nurse or Susan is not cooking.
If Susan were a nurse, then Susan is cooking. If Susan cooks, then Susan is a nurse.