What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Charles drinks water, then it is raining. Barbara is playing squash. Charles is drinking water or Robert is playing a game. It is not raining.
Charles is not drinking water. Barbara is playing squash and it is not raining. It is not raining and Barbara is playing squash.