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 James is not playing tennis. Karen is a police officer or James is playing tennis. If Karen were a police officer, then it is cloudy.
If James plays tennis, then it is cloudy.