Translate the following inference to logic notation: It is windy if and only if Elisabeth is making tea. Elisabeth is making tea or David is listening to a song. It is not windy. Therefore David is listening to a song.
p <-> q. q or r. ~p. Therefore r.