Translate the following inference to logic notation: If Linda were excited, then Linda is listening to a song. It is late if and only if Linda is excited. If Linda listens to a song, then it is late. Therefore if it is late, then Linda is listening to a song.
p -> q. r <-> p. q -> r. Therefore r -> q.