Translate the following inference to logic notation: For all x, x_8 will not drink water. John is not a poet or Jennifer is a doctor. John is a poet or Linda is drinking water. Therefore Jennifer is a doctor.
forall x: ~P(x). ~p or q. p or P(a). Therefore q.