Translate the following inference to logic notation: Susan is an artist if and only if it is raining. If it is cold, then Susan is an artist. If it rains, then it is cold. Therefore Susan is an artist if and only if it is raining.
p <-> q. r -> p. q -> r. Therefore p <-> q.