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 Elisabeth is not playing squash. Joseph is driving a car. It is not cloudy.
Elisabeth is not playing squash. Joseph is driving a car and it is not cloudy. It is not cloudy and Joseph is driving a car. If Elisabeth plays squash, then it is cloudy.