Translate the following inference to logic notation: For all x, z is not fast. If Michael were not a doctor, then it is windy. Michael is a doctor if and only if Patricia is fast. Therefore it is windy.
forall x: ~P(x). ~p -> q. p <-> P(a). Therefore q.