What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Patricia writes a letter, then Elisabeth is not rich. For all x_26, x_26 is rich and x_26 is a poet. Patricia is writing a letter if and only if Sarah is a doctor.
If Patricia writes a letter, then Sarah is a doctor. If Sarah were a doctor, then Patricia is writing a letter. For all x_26, x_26 is rich. For all x_26, x_26 is a poet.