What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is not overcast or Joseph is making tea. If David were a politician, then it is raining. Richard is not a lawyer or Patricia is sleeping. It is overcast or Richard is a lawyer. If Joseph makes tea, then David is a politician. If Patricia sleeps, then it is raining.
If Joseph makes tea, then it is raining. Richard is a lawyer or Joseph is making tea.