Translate the following inference to logic notation: For all x, x_4 will cook. If Jessica were happy, then it is snowing. If Jessica cooks, then it is snowing. Therefore it is snowing.
forall x: P(x). Q(a) -> p. P(a) -> p. Therefore p.