Translate the following inference to logic notation: For all x, if x_12 were excited, then x_12 is playing squash. If James plays squash, then James is excited. If James were excited, then it is snowing. Therefore if James plays squash, then it is snowing.
forall x: P(x) -> Q(x). Q(a) -> P(a). P(a) -> p. Therefore Q(a) -> p.