Translate the following inference to logic notation: If Thomas plays tennis, then James is a server. If James were a server, then Robert is a musician. If Robert were a musician, then James is a server. Robert is not a musician. David is listening to a song. Therefore Thomas is not playing tennis and David is listening to a song.
p -> q. q -> r. r -> q. ~r. s. Therefore ~p and s.