What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? John is playing a game if and only if Jessica is running. It is late. If it is late, then John is a bartender. John is not playing a game.
John is a bartender. It is late and John is not playing a game. John is not playing a game and it is late. If John plays a game, then Jessica is running. If Jessica goes running, then John is playing a game. Jessica is not running.