What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Joseph is writing a letter or Jessica is poor. For all x_7, x_7 is a lawyer or x_7 is not poor. If Joseph writes a letter, then Jessica is a lawyer.
If Jessica were rich, then Joseph is writing a letter. For all x_7, if x_7 were poor, then x_7 is a lawyer.