Translate the following inference to logic notation: Mary is playing a game if and only if it is cold. It is raining or it is cold. Mary is playing a game or Michael is not a lawyer. It is not raining or Michael is a lawyer. Therefore Mary is playing a game.
p <-> q. r or q. p or ~s. ~r or s. Therefore p.