Translate the following inference to logic notation: John is making tea if and only if Michael is playing a game. Michael is playing a game. Mary is drinking water. Therefore Mary is drinking water and John is making tea.
p <-> q. q. r. Therefore r and p.