What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Patricia is not climbing a mountain. If Thomas were a taxi driver, then John is playing a game. If John plays a game, then it is not sunny. Patricia is climbing a mountain or it is sunny.
It is sunny.