Translate the following inference to logic notation: If Richard reads a book, then David is working. If Jessica were a taxi driver, then Richard is reading a book. Jessica is a taxi driver. Therefore David is working.
p -> q. r -> p. r. Therefore q.