Translate the following inference to logic notation: Linda is listening to a song. If Michael climbs a mountain, then Jennifer is working. Jennifer is not working. If Linda listens to a song, then Michael is reading a book. Therefore Michael is reading a book and Michael is not climbing a mountain.
p. q -> r. ~r. p -> s. Therefore s and ~q.