Translate the following inference to logic notation: It is snowing or Joseph is not fast. For all x, x_8 is fast or x_8 will work. If Joseph works, then it is snowing. Therefore it is snowing.
p or ~P(a). forall x: P(x) or Q(x). Q(a) -> p. Therefore p.