Translate the following inference to logic notation: It is late if and only if Joseph is climbing a mountain. Karen is not a soldier. Karen is a soldier if and only if it is late. Therefore Joseph is not climbing a mountain.
p <-> q. ~r. r <-> p. Therefore ~q.