Translate the following inference to logic notation: It is late. For all x, x_15 will drink water and x_15 will go running. For all x, x_15 is bored. Therefore Jennifer is drinking water and it is late.
p. forall x: P(x) and Q(x). forall x: R(x). Therefore P(a) and p.