Translate the following inference to logic notation: If Jessica were an electrician, then it is cloudy. For all x, x_13 is a janitor or x_13 will climb a mountain. For all x, if x_13 were a janitor, then x_13 is an electrician. For all x, if x_13 climbs a mountain, then x_13 is an electrician. Therefore it is cloudy.
P(a) -> p. forall x: Q(x) or R(x). forall x: Q(x) -> P(x). forall x: R(x) -> P(x). Therefore p.