Translate the following inference to logic notation: John is not a writer. For all x, x_12 is a writer or x_12 is fast. Therefore John is fast or it is cloudy.
~P(a). forall x: P(x) or Q(x). Therefore Q(a) or p.