Translate the following inference to logic notation: Mary is drinking water if and only if it is sunny. John is not playing squash. John is playing squash or it is sunny. Therefore Mary is drinking water.
p <-> q. ~r. r or q. Therefore p.