Translate the following inference to logic notation: John is a server if and only if John is making tea. John is a server if and only if Elisabeth is a poet. For all x, x will not make tea. Therefore Elisabeth is not a poet.
p <-> P(a). p <-> q. forall x: ~P(x). Therefore ~q.