What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Mary were excited, then Linda is playing a game. If Linda plays a game, then Mary is excited. Linda is playing a game if and only if Elisabeth is a doctor. Mary is not excited.
Linda is not playing a game. Mary is excited if and only if Linda is playing a game. Linda is playing a game if and only if Mary is excited. If Linda plays a game, then Elisabeth is a doctor. If Elisabeth were a doctor, then Linda is playing a game.