Consider the following premises. If Elisabeth were an artist, then Mary is rich. Mary is not rich. For all x_12, x_12 is an artist if and only if x_12 will listen to a song. Can we infer the following from them? Elisabeth is not listening to a song.
 From the fact that for all x_12, x_12 is an artist if and only if x_12 will listen to a song we can infer that Elisabeth is an artist if and only if Elisabeth is listening to a song. From the fact that Elisabeth is an artist if and only if Elisabeth is listening to a song we can infer that if Elisabeth listens to a song, then Elisabeth is an artist. From the fact that if Elisabeth listens to a song, then Elisabeth is an artist, and that if Elisabeth were an artist, then Mary is rich we can infer that if Elisabeth listens to a song, then Mary is rich. Finally, from the fact that if Elisabeth listens to a song, then Mary is rich, and that Mary is not rich we can infer that Elisabeth is not listening to a song. Therefore, the answer is yes.