Translate the following inference to logic notation: Charles is drinking water if and only if William is rich. It is snowing. William is rich. Therefore it is snowing and Charles is drinking water.
p <-> q. r. q. Therefore r and p.