Translate the following inference to logic notation: Charles is bored. For all x, x_15 will go running and x_15 will play a game. For all x, x_15 will climb a mountain. Therefore John is running and Charles is bored.
p. forall x: P(x) and Q(x). forall x: R(x). Therefore P(a) and p.