Translate the following inference to logic notation: Susan is taking a plane if and only if Barbara is an office clerk. It is cold. If it is cold, then Barbara is an office clerk. Therefore Susan is taking a plane.
p <-> q. r. r -> q. Therefore p.