Translate the following inference to logic notation: For all x, x_5 is not excited. Linda is excited or John is writing a letter. Therefore John is writing a letter.
forall x: ~P(x). P(a) or p. Therefore p.