Translate the following inference to logic notation: Elisabeth is playing a game or it is snowing. Karen is not listening to a song. Elisabeth is playing a game if and only if John is a bartender. John is a bartender if and only if Karen is listening to a song. Therefore it is snowing.
p or q. ~r. p <-> s. s <-> r. Therefore q.