Translate the following inference to logic notation: Mary is an office clerk. William is not making tea. For all x, if x_24 were curious, then x_24 is a lawyer. William is making tea or Jessica is not a lawyer. Therefore Mary is an office clerk and Jessica is not curious.
p. ~q. forall x: P(x) -> Q(x). q or ~Q(a). Therefore p and ~P(a).