Translate the following inference to logic notation: For all x, x_7 is not sad. For all x, x_7 is sad or x_7 will write a letter. Patricia is not writing a letter or Jennifer is listening to a song. Therefore Patricia is an office clerk or Jennifer is listening to a song.
forall x: ~P(x). forall x: P(x) or Q(x). ~Q(a) or p. Therefore R(a) or p.