Translate the following inference to logic notation: It is snowing. Thomas is not a server. It is overcast if and only if it is snowing. It is overcast if and only if Thomas is a server. Therefore it is cold.
p. ~q. r <-> p. r <-> q. Therefore s.