Translate the following inference to logic notation: For all x, if x_20 were curious, then x_20 is an office clerk. Joseph is an office clerk if and only if Thomas is climbing a mountain. Joseph is curious if and only if Jennifer is a sailor. Therefore if Jennifer were a sailor, then Thomas is climbing a mountain.
forall x: P(x) -> Q(x). Q(a) <-> p. P(a) <-> q. Therefore q -> p.