Translate the following inference to logic notation: If Thomas doesn't write a letter, then William is climbing a mountain. James is not working. James is working if and only if Thomas is writing a letter. Therefore William is climbing a mountain or it is snowing.
~p -> q. ~r. r <-> p. Therefore q or s.