Translate the following inference to logic notation: For all x, x_10 will not sleep or x_10 will listen to a song. For all x, x_10 will sleep or x_10 will play a game. If Charles listens to a song, then it is sunny. If Charles plays a game, then Jennifer is a scientist. If Jennifer were a scientist, then it is sunny. Therefore it is sunny.
forall x: ~P(x) or Q(x). forall x: P(x) or R(x). Q(a) -> p. R(a) -> q. q -> p. Therefore p.