Translate the following inference to logic notation: David is excited if and only if it is cold. It is cold. It is windy if and only if David is excited. Therefore it is windy.
p <-> q. q. r <-> p. Therefore r.