What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is sunny or John is a bartender. It is cloudy or John is not a bartender. It is sunny if and only if it is cloudy.
If John were a bartender, then it is cloudy. If it is sunny, then it is cloudy. If it is cloudy, then it is sunny.