Translate the following inference to logic notation: If Thomas plays squash, then it is not snowing. It is snowing. Michael is reading a book. Therefore Michael is reading a book and Thomas is not playing squash.
p -> ~q. q. r. Therefore r and ~p.