What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all y, if y were a doctor, then y is a poet. For all y, if y were a scientist, then y is playing a game. For all y, if y plays a game, then y is a doctor. For all y, y is a scientist or y will sleep. For all y, if y sleeps, then y is playing a game.
For all y, if y were a scientist, then y is a doctor. For all y, if y plays a game, then y is a poet. For all y, if y sleeps, then y is a doctor. For all y, y will play a game.