Translate the following inference to logic notation: Charles is not happy or it is snowing. If James were an artist, then it is not snowing. Patricia is not poor. Charles is happy or Patricia is poor. Therefore James is not an artist.
~p or q. r -> ~q. ~s. p or s. Therefore ~r.