Translate the following inference to logic notation: If Karen takes a plane, then Richard is curious. If Karen takes a plane, then Charles is playing a game. For all x, if x_17 plays a game, then x_17 is listening to a song. Charles is not listening to a song. If Richard were curious, then Karen is taking a plane. Therefore Richard is not curious.
p -> q. p -> P(a). forall x: P(x) -> Q(x). ~Q(a). q -> p. Therefore ~q.