Translate the following inference to logic notation: Thomas is listening to a song if and only if Jennifer is an astronaut. Thomas is not playing squash. For all x, if x_15 listens to a song, then x_15 is playing squash. For all x, if x_20 goes running, then x_20 is an astronaut. Therefore Jennifer is not running.
P(a) <-> Q(b). ~R(a). forall x: P(x) -> R(x). forall x: S(x) -> Q(x). Therefore ~S(b).