Translate the following inference to logic notation: Richard is not poor. Richard is not climbing a mountain or Linda is reading a book. Richard is poor if and only if it is overcast. Richard is climbing a mountain. Therefore Linda is reading a book.
~p. ~q or r. p <-> s. q. Therefore r.