What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Karen is a writer. William is excited if and only if Michael is a nurse. Michael is a nurse.
Karen is a writer and Michael is a nurse. Michael is a nurse and Karen is a writer. If William were excited, then Michael is a nurse. If Michael were a nurse, then William is excited.