Translate the following inference to logic notation: It is raining if and only if it is cold. If Charles were excited, then Barbara is taking a plane. If Barbara takes a plane, then it is raining. Therefore if Charles were excited, then it is cold.
p <-> q. r -> s. s -> p. Therefore r -> q.