Translate the following inference to logic notation: Patricia is a poet if and only if Mary is working. If Mary works, then William is climbing a mountain. Patricia is a poet or William is not climbing a mountain. Therefore Patricia is a poet if and only if William is climbing a mountain.
p <-> q. q -> r. p or ~r. Therefore p <-> r.