Translate the following inference to logic notation: It is windy or Karen is cooking. It is not windy or Thomas is playing tennis. Therefore Karen is cooking or Thomas is playing tennis.
p or q. ~p or r. Therefore q or r.