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