Translate the following inference to logic notation: John is writing a letter if and only if William is a mechanic. Joseph is climbing a mountain. James is a musician if and only if John is writing a letter. If James were a musician, then Joseph is not climbing a mountain. Therefore William is not a mechanic.
p <-> q. r. s <-> p. s -> ~r. Therefore ~q.