Translate the following inference to logic notation: If Linda were sad, then Robert is listening to a song. Jennifer is not drinking water or Linda is sad. Jennifer is drinking water or Robert is playing tennis. For all x, if x_8 plays tennis, then x_8 is listening to a song. Therefore Robert is listening to a song.
p -> P(a). ~q or p. q or Q(a). forall x: Q(x) -> P(x). Therefore P(a).