Translate the following inference to logic notation: If it is windy, then Richard is taking a plane. Richard is taking a plane if and only if it is cold. If Richard takes a plane, then it is windy. Therefore if it is windy, then it is cold.
p -> q. q <-> r. q -> p. Therefore p -> r.