Translate the following inference to logic notation: If it is sunny, then Robert is a scientist. If it snows, then Sarah is a carpenter. If Sarah were a carpenter, then it is sunny. If Robert were a scientist, then it is snowing. Therefore it is snowing if and only if it is sunny.
p -> q. r -> s. s -> p. q -> r. Therefore r <-> p.