Translate the following inference to logic notation: For all x, x will cook and x will drive a car. For all x, if x_19 were rich, then x_19 is sleeping. For all x, x_19 is rich. Therefore Richard is sleeping and Thomas is cooking.
forall x: P(x) and Q(x). forall x: R(x) -> S(x). forall x: R(x). Therefore S(a) and P(b).