Translate the following inference to logic notation: Michael is not reading a book or William is climbing a mountain. For all x, x_5 is happy or x_5 will read a book. For all x, x_5 is not happy or x_5 is curious. Therefore Michael is curious or William is climbing a mountain.
~P(a) or p. forall x: Q(x) or P(x). forall x: ~Q(x) or R(x). Therefore R(a) or p.