What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Michael makes tea, then Charles is cooking. Richard is not playing squash. Richard is playing squash or Michael is making tea. If Charles cooks, then Susan is a sailor.
If Michael makes tea, then Susan is a sailor. Michael is making tea.