What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is cloudy, then John is playing a game. If Jessica were a janitor, then it is cloudy. If John plays a game, then Elisabeth is playing tennis.
If it is cloudy, then Elisabeth is playing tennis. If Jessica were a janitor, then John is playing a game.