Translate the following inference to logic notation: James is making tea or it is snowing. James is not making tea. For all x, x_9 is a writer. Therefore it is snowing and David is a writer.
p or q. ~p. forall x: P(x). Therefore q and P(a).