What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Karen drinks water, then it is late. If it is late, then Karen is drinking water. For all y, y will drink water or y is a sailor. It is not late.
Karen is not drinking water.