Translate the following inference to logic notation: It is snowing and it is cold. For all x, x will sleep. If Charles sleeps, then Thomas is playing tennis. Therefore it is snowing and Thomas is playing tennis.
p and q. forall x: P(x). P(a) -> r. Therefore p and r.