Translate the following inference to logic notation: It is snowing if and only if it is sunny. It is sunny if and only if David is an office clerk. Therefore if it snows, then David is an office clerk.
p <-> q. q <-> r. Therefore p -> r.