Translate the following inference to logic notation: For all x, x_10 will not sleep. If it is cloudy, then John is sleeping. If Robert listens to a song, then it is cloudy. Therefore Robert is not listening to a song.
forall x: ~P(x). p -> P(a). q -> p. Therefore ~q.