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