What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is snowing or Karen is drinking water. It is cold or it is not snowing. It is cold if and only if Karen is drinking water.
If it snows, then it is cold. If it is cold, then Karen is drinking water. If Karen drinks water, then it is cold.