What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Jessica is a writer if and only if James is not excited. For all x_23, x_23 is sad. If James were excited, then John is not sad.
If Jessica were a writer, then James is not excited. If James were not excited, then Jessica is a writer.