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