What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If James were a police officer, then Karen is not playing tennis. Linda is not bored. Elisabeth is not drinking water or Linda is a lawyer. Elisabeth is drinking water or Linda is bored. Karen is playing tennis.
James is not a police officer. Linda is not bored and Karen is playing tennis. Karen is playing tennis and Linda is not bored. Linda is bored or Linda is a lawyer.