What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is cloudy. It is not snowing. It is snowing or Charles is playing a game. If it is cloudy, then it is overcast.
It is overcast. Charles is playing a game. It is cloudy and it is not snowing. It is not snowing and it is cloudy.