What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all y, y will listen to a song or y is an astronaut. Joseph is playing a game. Michael is not listening to a song. If it is late, then Joseph is not playing a game.
It is not late. Joseph is playing a game and Michael is not listening to a song. Michael is not listening to a song and Joseph is playing a game.