Translate the following inference to logic notation: James is fast or Richard is not reading a book. If James were fast, then it is raining. If David cooks, then Richard is reading a book. Therefore if David cooks, then it is raining.
p or ~q. p -> r. s -> q. Therefore s -> r.