Translate the following inference to logic notation: If it is cold, then David is working. Joseph is playing tennis or it is cold. If Joseph plays tennis, then David is working. If William reads a book, then David is not working. Therefore William is not reading a book.
p -> q. r or p. r -> q. s -> ~q. Therefore ~s.