Translate the following inference to logic notation: For all x, if x_8 plays squash, then x_8 is sleeping. If Patricia sleeps, then Robert is not running. For all x, if x_8 sleeps, then x_8 is playing squash. Robert is running. Therefore Patricia is not playing squash.
forall x: P(x) -> Q(x). Q(a) -> ~p. forall x: Q(x) -> P(x). p. Therefore ~P(a).