Translate the following inference to logic notation: William is not an office clerk or Karen is listening to a song. If William cooks, then it is windy. For all x, x_6 is an office clerk or x_6 will cook. If Karen listens to a song, then it is windy. Therefore it is windy.
~P(a) or p. Q(a) -> q. forall x: P(x) or Q(x). p -> q. Therefore q.