What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Jennifer is drinking water or it is not sunny. For all y, y will not drink water.
If it is sunny, then Jennifer is drinking water.