Translate the following inference to logic notation: For all x, x_16 will cook. For all x, x_16 will cook if and only if x_16 will play squash. Therefore Jessica is playing squash or it is cold.
forall x: P(x). forall x: P(x) <-> Q(x). Therefore Q(a) or p.