Translate the following inference to logic notation: Susan is not a poet. For all x, z will drink water. Susan is cooking if and only if Susan is a poet. Therefore Jennifer is drinking water and Susan is not cooking.
~p. forall x: P(x). q <-> p. Therefore P(a) and ~q.