Translate the following inference to logic notation: Patricia is not a police officer. Patricia is not playing squash. For all x, x_15 will play squash or x_15 is a police officer. Therefore it is cloudy.
~P(a). ~Q(a). forall x: Q(x) or P(x). Therefore p.