Translate the following inference to logic notation: If Robert cooks, then it is raining. If Richard reads a book, then Robert is cooking. Richard is reading a book or it is not raining. Therefore if Richard reads a book, then it is raining.
p -> q. r -> p. r or ~q. Therefore r -> q.