Translate the following inference to logic notation: For all x, x_12 will listen to a song or x_12 is excited. It is windy or Michael is a soldier. If Michael were a soldier, then Thomas is sleeping. Jennifer is not listening to a song. If it is windy, then Thomas is sleeping. Therefore Thomas is sleeping and Jennifer is excited.
forall x: P(x) or Q(x). p or q. q -> r. ~P(a). p -> r. Therefore r and Q(a).