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