Translate the following inference to logic notation: If Robert sleeps, then John is listening to a song. For all x, x will sleep and x will play squash. Therefore John is listening to a song.
P(a) -> p. forall x: P(x) and Q(x). Therefore p.