Translate the following inference to logic notation: It is cold. If Susan goes running, then Karen is a soldier. If Susan sleeps, then Karen is a soldier. For all x, x_12 will sleep or x_12 will go running. Therefore Karen is a soldier and it is cold.
p. P(a) -> q. Q(a) -> q. forall x: Q(x) or P(x). Therefore q and p.