Translate the following inference to logic notation: Linda is playing a game if and only if it is raining. David is running or Robert is making tea. It is snowing. If Robert makes tea, then Linda is playing a game. David is not running or it is raining. Therefore Linda is playing a game and it is snowing.
p <-> q. r or s. t. s -> p. ~r or q. Therefore p and t.