Translate the following inference to logic notation: For all x, if x_16 plays tennis, then x_16 is a carpenter. It is cloudy. Susan is not a carpenter. Therefore Susan is not playing tennis.
forall x: P(x) -> Q(x). p. ~Q(a). Therefore ~P(a).