Translate the following inference to logic notation: Patricia is driving a car. If Patricia makes tea, then it is cold. For all x, if x_10 drives a car, then x_10 is making tea. Therefore it is cold.
P(a). Q(a) -> p. forall x: P(x) -> Q(x). Therefore p.