What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is cloudy or it is snowing. David is drinking water or it is not cloudy. If it snows, then David is drinking water. If Barbara were a politician, then David is not drinking water.
If it is cloudy, then David is drinking water.