Translate the following inference to logic notation: Jennifer is rich if and only if Patricia is a nurse. Patricia is not a nurse. For all x, x_11 will work or x_11 will climb a mountain. Richard is not working or Susan is driving a car. If Richard climbs a mountain, then Jennifer is rich. Therefore Susan is driving a car.
p <-> q. ~q. forall x: P(x) or Q(x). ~P(a) or r. Q(a) -> p. Therefore r.