Translate the following inference to logic notation: Jessica is not playing tennis. Robert is not writing a letter. For all x, x_22 will take a plane if and only if x_22 will play tennis. For all x, y will drive a car if and only if y will write a letter. Therefore Robert is not driving a car and Jessica is not taking a plane.
~P(a). ~Q(b). forall x: R(x) <-> P(x). forall x: S(x) <-> Q(x). Therefore ~S(b) and ~R(a).