Translate the following inference to logic notation: If it is late, then it is overcast. Richard is bored if and only if it is raining. It is not overcast. If it rains, then it is late. Therefore Richard is not bored.
p -> q. r <-> s. ~q. s -> p. Therefore ~r.