Translate the following inference to logic notation: Karen is not a musician. For all x, if x_14 makes tea, then x_14 is a musician. If Karen doesn't make tea, then it is cold. Therefore it is cold.
~P(a). forall x: Q(x) -> P(x). ~Q(a) -> p. Therefore p.