Translate the following inference to logic notation: For all x, x_8 will drink water or x_8 will go running. For all x, x will write a letter. If Thomas drinks water, then Michael is not writing a letter. Therefore Thomas is running.
forall x: P(x) or Q(x). forall x: R(x). P(a) -> ~R(b). Therefore Q(a).