Translate the following inference to logic notation: Susan is curious or it is cloudy. It is not windy. It is cloudy if and only if it is windy. Therefore Susan is curious or it is sunny.
p or q. ~r. q <-> r. Therefore p or s.