Translate the following inference to logic notation: It is windy or Karen is not playing squash. If Mary cooks, then Karen is playing squash. Mary is cooking. Therefore it is windy.
p or ~q. r -> q. r. Therefore p.