Translate the following inference to logic notation: It is late if and only if Robert is bored. It is cloudy if and only if it is late. Therefore if it is cloudy, then Robert is bored.
p <-> q. r <-> p. Therefore r -> q.