Translate the following inference to logic notation: For all x, x_14 will listen to a song or x_14 is an astronaut. Linda is not an astronaut. For all x, x_14 will not listen to a song. Therefore it is cold.
forall x: P(x) or Q(x). ~Q(a). forall x: ~P(x). Therefore p.