Translate the following inference to logic notation: It is late if and only if Joseph is a musician. If Robert climbs a mountain, then it is late. If it is late, then Robert is climbing a mountain. Joseph is not a musician. Therefore Robert is not climbing a mountain.
p <-> q. r -> p. p -> r. ~q. Therefore ~r.