What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Thomas is not playing a game. It is cloudy or Patricia is not making tea. If Thomas plays a game, then it is cloudy. If it is cloudy, then Thomas is playing a game.
It is not cloudy. If Patricia makes tea, then it is cloudy. Thomas is playing a game if and only if it is cloudy. It is cloudy if and only if Thomas is playing a game.