What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is snowing if and only if Jessica is rich. If Jessica were rich, then it is raining. If it rains, then Robert is a poet.
If Jessica were rich, then Robert is a poet. If it snows, then Jessica is rich. If Jessica were rich, then it is snowing.