Translate the following inference to logic notation: If Richard were an artist, then Barbara is sleeping. If Barbara sleeps, then it is cold. If it is cold, then it is cloudy. If it is cloudy, then Richard is an artist. Therefore it is cold if and only if Richard is an artist.
p -> q. q -> r. r -> s. s -> p. Therefore r <-> p.