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: If John writes a letter, then Susan is playing tennis. John is writing a letter or Thomas is a writer. Jennifer is working or Thomas is not a writer. Jennifer is working or Susan is not playing tennis.
If Thomas were a writer, then Jennifer is working can be inferred via the rewriting rule. If Susan plays tennis, then Jennifer is working can be inferred via the rewriting rule.