Translate the following inference to logic notation: Mary is playing a game if and only if it is sunny. It is snowing if and only if it is sunny. Therefore if Mary plays a game, then it is snowing.
p <-> q. r <-> q. Therefore p -> r.