Translate the following inference to logic notation: It is cloudy if and only if Richard is making tea. If it is late, then it is cloudy. Richard is not making tea. Therefore it is not late.
p <-> q. r -> p. ~q. Therefore ~r.