Translate the following inference to logic notation: For all x, if x_17 plays a game, then x_17 is an artist. Richard is not an artist. If it rains, then Susan is a doctor. If Richard were an artist, then it is raining. If Susan were a doctor, then Richard is playing a game. Therefore Richard is not playing a game.
forall x: P(x) -> Q(x). ~Q(a). p -> q. Q(a) -> p. q -> P(a). Therefore ~P(a).