Translate the following inference to logic notation: For all x, if x_13 were a doctor, then x_13 is drinking water. James is a doctor or it is not sunny. For all x, if x_13 drinks water, then x_13 is a doctor. Therefore if it is sunny, then James is drinking water.
forall x: P(x) -> Q(x). P(a) or ~p. forall x: Q(x) -> P(x). Therefore p -> Q(a).