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