Translate the following inference to logic notation: William is climbing a mountain if and only if John is writing a letter. John is writing a letter if and only if Richard is drinking water. Therefore if Richard drinks water, then William is climbing a mountain.
p <-> q. q <-> r. Therefore r -> p.