Translate the following inference to logic notation: David is happy or Barbara is not climbing a mountain. Barbara is climbing a mountain or David is running. For all x, if x_10 goes running, then x_10 is happy. Therefore David is happy.
P(a) or ~p. p or Q(a). forall x: Q(x) -> P(x). Therefore P(a).