Translate the following inference to logic notation: For all x, if x_8 were an artist, then x_8 is a bartender. For all x, if x_8 were a bartender, then x_8 is an artist. Charles is not an artist. If Susan were a police officer, then Charles is a bartender. Therefore Susan is not a police officer.
forall x: P(x) -> Q(x). forall x: Q(x) -> P(x). ~P(a). p -> Q(a). Therefore ~p.