Translate the following inference to logic notation: For all x, if y works, then y is drinking water. Patricia is a sailor or Robert is not a lawyer. For all x, if y were a sailor, then y is working. Therefore if Robert were a lawyer, then Patricia is drinking water.
forall x: P(x) -> Q(x). R(a) or ~p. forall x: R(x) -> P(x). Therefore p -> Q(a).