Translate the following inference to logic notation: If Charles were happy, then Susan is a soldier. If Susan were a soldier, then Susan is climbing a mountain. For all x, x will play squash or x is happy. If Charles plays squash, then Susan is a soldier. Therefore Susan is climbing a mountain.
P(a) -> p. p -> q. forall x: Q(x) or P(x). Q(a) -> p. Therefore q.