Translate the following inference to logic notation: For all x, x is not poor or x is a lawyer. For all x, x is not a lawyer. For all x, x is not a janitor or x will sleep. For all x, x will drink water. For all x, x is poor or x is a janitor. Therefore for all x, x will sleep.
forall x: ~P(x) or Q(x). forall x: ~Q(x). forall x: ~R(x) or S(x). forall x: T(x). forall x: P(x) or R(x). Therefore forall x: S(x).