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: Richard is not drinking water or Karen is a nurse. It is not cold or Charles is a janitor. If Charles were a janitor, then Joseph is a lawyer. Richard is drinking water or it is cold. If Karen were a nurse, then Joseph is a lawyer.
It is cold or Karen is a nurse can be inferred via the resolution rule.