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: Linda is not making tea or John is a janitor. Jennifer is not playing tennis or James is rich. If James were rich, then Robert is a writer. Linda is making tea or Jennifer is playing tennis. If John were a janitor, then Robert is a writer.
Jennifer is playing tennis or John is a janitor can be inferred via the resolution rule.