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