Translate the following inference to logic notation: It is not snowing or William is sad. For all x, x_8 is not curious. It is snowing or John is curious. Therefore William is sad.
~p or q. forall x: ~P(x). p or P(a). Therefore q.