Translate the following inference to logic notation: Joseph is reading a book. If Richard were happy, then Richard is driving a car. If Richard drives a car, then Richard is happy. Richard is not driving a car. Therefore Joseph is reading a book and Richard is not happy.
p. q -> r. r -> q. ~r. Therefore p and ~q.