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