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: Sarah is cooking or James is a mechanic. If Sarah cooks, then James is a politician. For all z, if z were a mechanic, then z is a politician.
If James were a writer, then Sarah is cooking can be inferred via the rewriting rule.