Translate the following inference to logic notation: For all x, if x_7 climbs a mountain, then x_7 is driving a car. If Susan drives a car, then Susan is climbing a mountain. Therefore if Susan drives a car, then Susan is climbing a mountain.
forall x: P(x) -> Q(x). Q(a) -> P(a). Therefore Q(a) -> P(a).