What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Robert is sleeping or Karen is not playing a game. It is cold or Karen is playing a game. Robert is sleeping or it is not cold.
If Karen plays a game, then Robert is sleeping. If it is cold, then Robert is sleeping.