Translate the following inference to logic notation: It is not overcast. If Barbara were sad, then Susan is not playing squash. If it is overcast, then it is windy. If it is not windy, then Susan is playing squash. If it is windy, then it is overcast. Therefore Barbara is not sad.
~p. q -> ~r. p -> s. ~s -> r. s -> p. Therefore ~q.