Translate the following inference to logic notation: It is sunny or William is not rich. If David reads a book, then it is late. If it is late, then William is rich. Therefore if David reads a book, then it is sunny.
p or ~q. r -> s. s -> q. Therefore r -> p.