Translate the following inference to logic notation: John is a writer if and only if Elisabeth is working. Elisabeth is working. Linda is climbing a mountain. Therefore Linda is climbing a mountain and John is a writer.
p <-> q. q. r. Therefore r and p.