Translate the following inference to logic notation: For all x, x_12 is a musician if and only if x_12 will go running. Robert is running if and only if Karen is happy. For all x, x_14 will play tennis if and only if x_14 is happy. Karen is not playing tennis. Therefore Robert is not a musician.
forall x: P(x) <-> Q(x). Q(a) <-> R(b). forall x: S(x) <-> R(x). ~S(b). Therefore ~P(a).