Translate the following inference to logic notation: If James were an artist, then it is raining. If it rains, then James is an artist. Patricia is not a sailor. If James were an artist, then Patricia is a sailor. Therefore it is not raining.
p -> q. q -> p. ~r. p -> r. Therefore ~q.