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: Elisabeth is reading a book or Charles is cooking. It is raining. Elisabeth is not reading a book or Barbara is running. If Charles cooks, then it is not raining.
Charles is not cooking can be inferred via the modus tollens rule. Charles is cooking or Barbara is running can be inferred via the resolution rule.