Translate the following inference to logic notation: For all x, x_7 will drink water or x_7 is a taxi driver. William is not a taxi driver or it is raining. For all x, x_7 will not drink water. Therefore William is a police officer or it is raining.
forall x: P(x) or Q(x). ~Q(a) or p. forall x: ~P(x). Therefore R(a) or p.