What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Sarah climbs a mountain, then Michael is running. Sarah is listening to a song if and only if Michael is running. For all x_19, x_19 will not listen to a song.
If Sarah listens to a song, then Michael is running. If Michael goes running, then Sarah is listening to a song.