Translate the following inference to logic notation: If it rains, then Jessica is not cooking. For all x, x_15 is not a nurse or x_15 will cook. For all x, x_15 is a nurse or x_15 is a janitor. For all x, x_15 is not a janitor. Therefore it is not raining.
p -> ~P(a). forall x: ~Q(x) or P(x). forall x: Q(x) or R(x). forall x: ~R(x). Therefore ~p.