Consider the following premises. Thomas is a scientist. For all x_8, if x_8 were a scientist, then x_8 is listening to a song. For all x_8, if x_8 listens to a song, then x_8 is a scientist. Can we infer the following from them? Thomas is listening to a song.
 From the fact that for all x_8, if x_8 listens to a song, then x_8 is a scientist, and that for all x_8, if x_8 were a scientist, then x_8 is listening to a song we can infer that for all x_8, x_8 will listen to a song if and only if x_8 is a scientist. From the fact that for all x_8, x_8 will listen to a song if and only if x_8 is a scientist we can infer that Thomas is listening to a song if and only if Thomas is a scientist. From the fact that Thomas is listening to a song if and only if Thomas is a scientist we can infer that if Thomas were a scientist, then Thomas is listening to a song. Finally, from the fact that if Thomas were a scientist, then Thomas is listening to a song, and that Thomas is a scientist we can infer that Thomas is listening to a song. Therefore, the answer is yes.