Translate the following inference to logic notation: If it is overcast, then it is windy. It is cold if and only if it is windy. If James cooks, then it is cold. James is cooking or it is overcast. Therefore it is cold.
p -> q. r <-> q. s -> r. s or p. Therefore r.