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: Jessica is a scientist or Jennifer is not cooking. If Charles writes a letter, then Jessica is not a scientist. If Patricia makes tea, then Jessica is a scientist. If David were bored, then Jennifer is cooking. Patricia is making tea or David is bored.
If Jennifer cooks, then Jessica is a scientist can be inferred via the rewriting rule.