What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If John were bored, then it is windy. If Linda plays a game, then it is late. Linda is playing a game if and only if it is windy. John is bored if and only if it is late.
If Linda plays a game, then it is windy. If John were bored, then it is late. If it is windy, then Linda is playing a game. If it is late, then John is bored.