Translate the following inference to logic notation: Karen is happy or it is windy. Karen is happy if and only if Mary is an astronaut. Mary is not an astronaut. Therefore it is snowing or it is windy.
p or q. p <-> r. ~r. Therefore s or q.