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