Translate the following inference to logic notation: For all x, x_8 will not sleep. Jennifer is listening to a song or Barbara is sleeping. Jennifer is not listening to a song or Thomas is a soldier. Therefore Thomas is a soldier.
forall x: ~P(x). p or P(a). ~p or q. Therefore q.