Translate the following inference to logic notation: James is playing squash or Jennifer is not happy. If James plays squash, then Jennifer is writing a letter. Jennifer is not writing a letter. Therefore Jennifer is not happy.
p or ~q. p -> r. ~r. Therefore ~q.