What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Sarah is not a nurse or it is sunny. If it is late, then William is drinking water. Sarah is a nurse or it is late. William is drinking water or it is not sunny.
It is late or it is sunny. If it is sunny, then William is drinking water.