Translate the following inference to logic notation: For all x, x_6 will cook. For all x, if x_6 cooks, then x_6 is listening to a song. Elisabeth is not listening to a song or David is sleeping. Therefore Elisabeth is playing squash or David is sleeping.
forall x: P(x). forall x: P(x) -> Q(x). ~Q(a) or p. Therefore R(a) or p.