Translate the following inference to logic notation: Michael is running or it is sunny. If it is sunny, then it is snowing. It is snowing if and only if Linda is playing a game. If Michael goes running, then Linda is playing a game. Therefore it is snowing.
p or q. q -> r. r <-> s. p -> s. Therefore r.