Translate the following inference to logic notation: For all x, x_5 will climb a mountain or x_5 will play a game. For all x, x_5 will not climb a mountain or x_5 is a poet. Richard is not playing a game or Elisabeth is playing squash. Therefore Richard is a poet or Elisabeth is playing squash.
forall x: P(x) or Q(x). forall x: ~P(x) or R(x). ~Q(a) or p. Therefore R(a) or p.