Translate the following inference to logic notation: For all x, if x were rich, then x is cooking. John is a poet if and only if Barbara is rich. For all x, x will not cook. Therefore John is not a poet.
forall x: P(x) -> Q(x). p <-> P(a). forall x: ~Q(x). Therefore ~p.