Translate the following inference to logic notation: Patricia is writing a letter if and only if Susan is a sailor. It is snowing if and only if Patricia is writing a letter. Therefore if it snows, then Susan is a sailor.
p <-> q. r <-> p. Therefore r -> q.