Translate the following inference to logic notation: For all x, x_14 is not excited. For all x, if x_14 sleeps, then x_14 is excited. For all x, x_14 will sleep or x_14 will go running. Therefore Linda is running or it is cloudy.
forall x: ~P(x). forall x: Q(x) -> P(x). forall x: Q(x) or R(x). Therefore R(a) or p.