What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Susan works, then Barbara is a writer. For all x_10, x_10 is not a doctor or x_10 will work. For all x_10, x_10 is a doctor or x_10 will make tea. Susan is making tea if and only if Barbara is a writer.
If Susan makes tea, then Barbara is a writer. If Barbara were a writer, then Susan is making tea. For all x_10, x_10 will make tea or x_10 will work.