Translate the following inference to logic notation: Charles is not fast. For all x, x_14 is fast if and only if x_14 will climb a mountain. For all x, x_7 is a scientist if and only if x_7 will drive a car. If Patricia were a scientist, then Charles is climbing a mountain. Therefore Patricia is not driving a car.
~P(a). forall x: P(x) <-> Q(x). forall x: R(x) <-> S(x). R(b) -> Q(a). Therefore ~S(b).