Translate the following inference to logic notation: If Patricia makes tea, then James is playing tennis. If it snows, then it is overcast. For all x, y will not make tea. If James plays tennis, then Patricia is making tea. If it is overcast, then James is playing tennis. Therefore it is not snowing.
P(a) -> p. q -> r. forall x: ~P(x). p -> P(a). r -> p. Therefore ~q.