Translate the following inference to logic notation: Mary is not excited. Thomas is not making tea or Jennifer is writing a letter. Thomas is making tea or Mary is excited. Therefore Jennifer is writing a letter or David is a politician.
~p. ~q or r. q or p. Therefore r or s.