Translate the following inference to logic notation: For all x, y is an artist. Patricia is climbing a mountain or William is playing tennis. Patricia is not climbing a mountain. Therefore William is playing tennis and Linda is an artist.
forall x: P(x). p or q. ~p. Therefore q and P(a).