Translate the following inference to logic notation: It is sunny if and only if David is taking a plane. If David takes a plane, then Patricia is making tea. If Patricia makes tea, then David is taking a plane. Therefore if Patricia makes tea, then it is sunny.
p <-> q. q -> r. r -> q. Therefore r -> p.