Translate the following inference to logic notation: James is sleeping or David is writing a letter. For all x, x_16 is excited and x_16 is a writer. If James sleeps, then Linda is not excited. Therefore David is writing a letter.
p or q. forall x: P(x) and Q(x). p -> ~P(a). Therefore q.