What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Name the inference rule being used: If David listens to a song, then David is poor. For all y_2, if y_2 were poor, then y_2 is working. For all y_2, if y_2 works, then y_2 is listening to a song.
For all y_2, if y_2 were poor, then y_2 is listening to a song can be inferred via the universal transitivity rule.