Translate the following inference to logic notation: For all x, z_3 will not drink water. For all x, z_3 will drink water or z_3 is a soldier. Therefore Patricia is a soldier.
forall x: ~P(x). forall x: P(x) or Q(x). Therefore Q(a).