Translate the following inference to logic notation: If Susan makes tea, then Susan is a scientist. For all x, if x_7 were a scientist, then x_7 is making tea. Susan is not making tea. Therefore Susan is not a scientist.
P(a) -> Q(a). forall x: Q(x) -> P(x). ~P(a). Therefore ~Q(a).