Translate the following inference to logic notation: For all x, x_5 is a doctor or x_5 will drink water. If Joseph were a politician, then it is overcast. For all x, x_5 is not a doctor or x_5 is a politician. If Joseph drinks water, then it is overcast. Therefore it is overcast.
forall x: P(x) or Q(x). R(a) -> p. forall x: ~P(x) or R(x). Q(a) -> p. Therefore p.