Translate the following inference to logic notation: For all x, if x_15 were a police officer, then x_15 is working. Patricia is a police officer or it is not cloudy. Patricia is not working. Therefore it is not cloudy.
forall x: P(x) -> Q(x). P(a) or ~p. ~Q(a). Therefore ~p.