Translate the following inference to logic notation: Mary is running or it is not overcast. Mary is fast or it is overcast. For all x, if x_10 were fast, then x_10 is running. Therefore Mary is running.
P(a) or ~p. Q(a) or p. forall x: Q(x) -> P(x). Therefore P(a).