Translate the following inference to logic notation: If Charles were fast, then it is sunny. If it is sunny, then it is late. If it is late, then Charles is fast. If it is late, then it is sunny. Therefore it is sunny if and only if it is late.
p -> q. q -> r. r -> p. r -> q. Therefore q <-> r.