What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Thomas is listening to a song or James is playing a game. Michael is not running. If Thomas listens to a song, then Michael is running.
Thomas is not listening to a song.