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. It is overcast. Patricia is a doctor if and only if John is playing a game.
John is playing a game and it is overcast. It is overcast and John is playing a game. If Patricia were a doctor, then John is playing a game. If John plays a game, then Patricia is a doctor.