Translate the following inference to logic notation: Charles is not a lawyer. For all x, x_14 will not play squash. For all x, x_14 will play squash or x_14 is a lawyer. Therefore William is climbing a mountain.
~P(a). forall x: ~Q(x). forall x: Q(x) or P(x). Therefore p.