Translate the following inference to logic notation: It is sunny. Michael is running if and only if Jennifer is excited. For all x, x_21 is not excited. For all x, x will go running if and only if x is curious. Therefore Michael is not curious and it is sunny.
p. P(a) <-> Q(b). forall x: ~Q(x). forall x: P(x) <-> R(x). Therefore ~R(a) and p.