Translate the following inference to logic notation: If Charles were a writer, then it is snowing. If James takes a plane, then Charles is a writer. It is snowing if and only if James is taking a plane. Therefore if James takes a plane, then Charles is a writer.
p -> q. r -> p. q <-> r. Therefore r -> p.