Translate the following inference to logic notation: It is late if and only if Karen is a musician. It is late or it is not cold. If Karen were a musician, then it is cold. Therefore if it is late, then Karen is a musician.
p <-> q. p or ~r. q -> r. Therefore p -> q.