What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x_17, if x_17 cooks, then x_17 is a writer. If Patricia were a bartender, then John is cooking. John is a writer if and only if Patricia is a bartender.
If John were a writer, then Patricia is a bartender. If Patricia were a bartender, then John is a writer.