Translate the following inference to logic notation: If it is cloudy, then it is cold. William is a musician. William is a musician if and only if it is cold. Therefore it is cold.
p -> q. r. r <-> q. Therefore q.