What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is snowing or William is not climbing a mountain. If Joseph were a poet, then William is climbing a mountain. If it is sunny, then Joseph is a poet.
If it is sunny, then William is climbing a mountain. If William climbs a mountain, then it is snowing.