Translate the following inference to logic notation: Jennifer is not an office clerk. For all x, y_3 is an office clerk or y_3 will not make tea. Therefore Jennifer is not making tea.
~P(a). forall x: P(x) or ~Q(x). Therefore ~Q(a).