Translate the following inference to logic notation: If it is late, then James is a doctor. It is snowing if and only if Richard is reading a book. If James were a doctor, then Richard is reading a book. It is late or it is snowing. Therefore Richard is reading a book.
p -> q. r <-> s. q -> s. p or r. Therefore s.