Translate the following inference to logic notation: Charles is not listening to a song or Sarah is fast. Charles is not playing squash. For all x, x_15 will play squash or x_15 will listen to a song. Therefore it is cold or Sarah is fast.
~P(a) or p. ~Q(a). forall x: Q(x) or P(x). Therefore q or p.