What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Name the inference rule being used: Karen is not playing a game or Mary is an office clerk. David is not drinking water. Karen is playing a game or David is drinking water.
David is drinking water or Mary is an office clerk can be inferred via the resolution rule.