What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Jennifer is climbing a mountain if and only if Richard is playing a game. Richard is playing a game if and only if Jennifer is climbing a mountain.
If Jennifer climbs a mountain, then Richard is playing a game. If Richard plays a game, then Jennifer is climbing a mountain. If Richard plays a game, then Jennifer is climbing a mountain. If Jennifer climbs a mountain, then Richard is playing a game.