Translate the following inference to logic notation: It is windy if and only if Mary is an office clerk. If Mary were an office clerk, then it is cloudy. It is windy if and only if it is cloudy. Therefore it is cloudy if and only if it is windy.
p <-> q. q -> r. p <-> r. Therefore r <-> p.