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