Translate the following inference to logic notation: For all x, if x_5 cooks, then x_5 is playing squash. If Patricia plays squash, then John is running. Therefore if Patricia cooks, then John is running.
forall x: P(x) -> Q(x). Q(a) -> p. Therefore P(a) -> p.