Translate the following inference to logic notation: John is a politician or Jennifer is not happy. For all x, z will listen to a song or z is happy. For all x, z will not listen to a song or z is a poet. If Jennifer were a poet, then John is a politician. Therefore John is a politician.
p or ~P(a). forall x: Q(x) or P(x). forall x: ~Q(x) or R(x). R(a) -> p. Therefore p.