Translate the following inference to logic notation: If it snows, then it is sunny. If it is late, then it is snowing. It is sunny if and only if Richard is a writer. Therefore if it is late, then Richard is a writer.
p -> q. r -> p. q <-> s. Therefore r -> s.