Translate the following inference to logic notation: Karen is drinking water. If it snows, then Karen is not drinking water. John is driving a car if and only if it is snowing. John is driving a car or Thomas is listening to a song. Therefore Thomas is listening to a song.
p. q -> ~p. r <-> q. r or s. Therefore s.