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: For all z_3, if z_3 plays a game, then z_3 is listening to a song. If Thomas were a police officer, then Sarah is playing a game. If Sarah listens to a song, then Thomas is a police officer.
If Sarah listens to a song, then Sarah is playing a game can be inferred via the transitivity rule.