Translate the following inference to logic notation: For all x, x_9 will go running. Linda is not sleeping or Michael is playing squash. If Michael plays squash, then Patricia is reading a book. Linda is sleeping or Michael is driving a car. If Michael drives a car, then Patricia is reading a book. Therefore William is running and Patricia is reading a book.
forall x: P(x). ~p or q. q -> r. p or s. s -> r. Therefore P(a) and r.