Translate the following inference to logic notation: For all x, x_20 is rich and x_20 will climb a mountain. If it is sunny, then William is not rich. Therefore it is not sunny or Charles is sad.
forall x: P(x) and Q(x). p -> ~P(a). Therefore ~p or q.