What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x_15, if x_15 were rich, then x_15 is playing a game. If Barbara plays a game, then Karen is listening to a song. Barbara is rich or Karen is not listening to a song.
If Karen listens to a song, then Barbara is rich.