What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Jennifer cooks, then Susan is a mechanic. If Linda goes running, then Susan is a mechanic. If Barbara were a janitor, then Linda is running. Jennifer is cooking or Robert is a writer. If Robert were a writer, then Barbara is a janitor.
If Barbara were a janitor, then Susan is a mechanic. If Robert were a writer, then Linda is running.