Translate the following inference to logic notation: Charles is not playing tennis. It is sunny if and only if it is late. For all x, if x_14 were excited, then x_14 is playing tennis. It is not late. Therefore it is not sunny and Charles is not excited.
~P(a). p <-> q. forall x: Q(x) -> P(x). ~q. Therefore ~p and ~Q(a).