What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is cloudy or David is making tea. If it is sunny, then David is not making tea. James is playing squash. It is not cloudy.
David is making tea. James is playing squash and it is not cloudy. It is not cloudy and James is playing squash.