What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Jennifer were a poet, then Elisabeth is playing a game. If Elisabeth plays a game, then Barbara is playing tennis. If Barbara plays tennis, then Sarah is running. If Sarah goes running, then Jennifer is a poet.
If Jennifer were a poet, then Barbara is playing tennis. If Elisabeth plays a game, then Sarah is running. If Barbara plays tennis, then Jennifer is a poet. If Sarah goes running, then Elisabeth is playing a game.