What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is windy if and only if Thomas is climbing a mountain. Thomas is climbing a mountain or Jessica is not playing a game. If Barbara were sad, then Jessica is playing a game. It is windy or Barbara is sad.
If Jessica plays a game, then Thomas is climbing a mountain. If it is windy, then Thomas is climbing a mountain. If Thomas climbs a mountain, then it is windy.