Translate the following inference to logic notation: It is overcast. Patricia is making tea or it is cold. For all x, if x_16 makes tea, then x_16 is not running. For all x, x_16 will go running. Therefore it is cold and it is overcast.
p. P(a) or q. forall x: P(x) -> ~Q(x). forall x: Q(x). Therefore q and p.