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