Translate the following inference to logic notation: John is not playing a game. John is playing squash or Thomas is a mechanic. John is playing a game if and only if John is playing squash. Linda is reading a book. Therefore Thomas is a mechanic and Linda is reading a book.
~p. q or r. p <-> q. s. Therefore r and s.