Translate the following inference to logic notation: For all x, y_2 will take a plane or y_2 is a janitor. If Elisabeth cooks, then it is snowing. If Mary takes a plane, then Elisabeth is cooking. If Mary were a janitor, then Elisabeth is cooking. Therefore it is snowing.
forall x: P(x) or Q(x). p -> q. P(a) -> p. Q(a) -> p. Therefore q.