Translate the following inference to logic notation: Barbara is running if and only if Thomas is listening to a song. John is not rich. If Thomas listens to a song, then John is rich. Thomas is listening to a song if and only if John is rich. Therefore Barbara is not running.
p <-> q. ~r. q -> r. q <-> r. Therefore ~p.