What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If David makes tea, then Charles is not running. Charles is running. David is a bartender. Richard is not playing squash or Robert is a police officer. Richard is playing squash or David is making tea.
David is not making tea. Charles is running and David is a bartender. David is a bartender and Charles is running. David is making tea or Robert is a police officer.