Translate the following inference to logic notation: John is running or Susan is climbing a mountain. If John goes running, then John is reading a book. If Susan climbs a mountain, then John is reading a book. For all x, x_9 will drive a car. Therefore John is reading a book and Jennifer is driving a car.
p or q. p -> r. q -> r. forall x: P(x). Therefore r and P(a).