Translate the following inference to logic notation: Jennifer is not working. For all x, x_15 will work or x_15 will read a book. Jennifer is not reading a book or Thomas is poor. Therefore Elisabeth is drinking water or Thomas is poor.
~P(a). forall x: P(x) or Q(x). ~Q(a) or p. Therefore q or p.