Translate the following inference to logic notation: For all x, z_3 is not a politician. If Michael were a politician, then it is windy. If it is windy, then Michael is a politician. Therefore it is not windy.
forall x: ~P(x). P(a) -> p. p -> P(a). Therefore ~p.