Translate the following inference to logic notation: For all x, x_10 is excited. Robert is playing tennis. For all x, if x_10 plays tennis, then x_10 is not excited. Therefore it is snowing.
forall x: P(x). Q(a). forall x: Q(x) -> ~P(x). Therefore p.