Translate the following inference to logic notation: It is sunny if and only if Charles is a soldier. If Charles were a soldier, then James is a cashier. If James were a cashier, then it is sunny. Therefore it is sunny if and only if James is a cashier.
p <-> q. q -> r. r -> p. Therefore p <-> r.