Translate the following inference to logic notation: If it rains, then Charles is a janitor. If Charles were a janitor, then it is snowing. If it snows, then it is raining. Therefore it is snowing if and only if Charles is a janitor.
p -> q. q -> r. r -> p. Therefore r <-> q.