Translate the following inference to logic notation: It is late if and only if Sarah is reading a book. If it is cloudy, then Sarah is taking a plane. If Sarah takes a plane, then it is late. Therefore if it is cloudy, then Sarah is reading a book.
p <-> q. r -> s. s -> p. Therefore r -> q.