What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Charles is climbing a mountain or John is playing squash. Karen is drinking water and Mary is playing tennis. If Charles climbs a mountain, then Karen is not drinking water.
Karen is drinking water. Mary is playing tennis.