Translate the following inference to logic notation: If it is cold, then David is sad. Charles is happy or it is windy. It is cold if and only if it is windy. If Charles were happy, then David is sad. Therefore David is sad.
p -> q. r or s. p <-> s. r -> q. Therefore q.