Translate the following inference to logic notation: Patricia is not writing a letter. If Thomas were a bartender, then Joseph is reading a book. Patricia is writing a letter if and only if Thomas is a bartender. Thomas is a bartender or Joseph is not reading a book. Therefore Joseph is not reading a book.
~p. q -> r. p <-> q. q or ~r. Therefore ~r.