Translate the following inference to logic notation: If Robert climbs a mountain, then Sarah is reading a book. Sarah is reading a book if and only if Mary is working. If Sarah reads a book, then David is a doctor. Robert is climbing a mountain or Mary is working. Therefore David is a doctor.
p -> q. q <-> r. q -> s. p or r. Therefore s.