Translate the following inference to logic notation: Richard is not sad. Susan is making tea if and only if Richard is sad. David is not writing a letter or Sarah is an office clerk. Susan is making tea or Karen is climbing a mountain. Therefore Karen is climbing a mountain or Sarah is an office clerk.
~p. q <-> p. ~r or s. q or t. Therefore t or s.