Translate the following inference to logic notation: Susan is sleeping. Thomas is listening to a song or Jennifer is a poet. If Jennifer were a poet, then Robert is drinking water. If Thomas listens to a song, then Robert is drinking water. Therefore Susan is sleeping and Robert is drinking water.
p. q or r. r -> s. q -> s. Therefore p and s.