Translate the following inference to logic notation: It is sunny if and only if it is windy. If it is cold, then it is sunny. Susan is a nurse or it is cold. Susan is not a nurse or it is windy. Therefore it is sunny.
p <-> q. r -> p. s or r. ~s or q. Therefore p.