Translate the following inference to logic notation: Susan is cooking and it is cold. For all x, x will make tea. Therefore David is making tea and Susan is cooking.
p and q. forall x: P(x). Therefore P(a) and p.