Translate the following inference to logic notation: It is raining if and only if it is windy. It is windy or it is cloudy. If it rains, then it is windy. If it is cloudy, then it is raining. Therefore it is raining.
p <-> q. q or r. p -> q. r -> p. Therefore p.