What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is raining if and only if Susan is a writer. It is not raining. William is running and James is cooking.
William is running. James is cooking. If it rains, then Susan is a writer. If Susan were a writer, then it is raining. Susan is not a writer.