What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Joseph sleeps, then Charles is making tea. Joseph is sleeping or Charles is not making tea. Joseph is not sleeping.
Charles is not making tea. If Charles makes tea, then Joseph is sleeping.