Translate the following inference to logic notation: Charles is cooking or Michael is playing squash. Charles is not cooking. James is not writing a letter. James is writing a letter or it is not snowing. Therefore it is not snowing and Michael is playing squash.
p or q. ~p. ~r. r or ~s. Therefore ~s and q.