Translate the following inference to logic notation: It is snowing if and only if Michael is a sailor. It is snowing if and only if John is an office clerk. Therefore if Michael were a sailor, then John is an office clerk.
p <-> q. p <-> r. Therefore q -> r.