Translate the following inference to logic notation: James is climbing a mountain if and only if Thomas is curious. Jessica is making tea. Thomas is not curious. Therefore James is not climbing a mountain and Jessica is making tea.
p <-> q. r. ~q. Therefore ~p and r.