What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is overcast, then it is sunny. If David sleeps, then David is drinking water. David is drinking water if and only if it is sunny. David is sleeping or it is overcast.
If David drinks water, then it is sunny. If it is sunny, then David is drinking water.