Translate the following inference to logic notation: For all x, x_10 will climb a mountain. David is bored. For all x, if x_10 climbs a mountain, then x_10 is a mechanic. Therefore David is bored and Sarah is a mechanic.
forall x: P(x). p. forall x: P(x) -> Q(x). Therefore p and Q(a).