Translate the following inference to logic notation: If it is windy, then Barbara is playing squash. Karen is a writer or Barbara is a carpenter. Barbara is playing squash or Karen is not a writer. If Barbara were a carpenter, then it is windy. Therefore Barbara is playing squash.
p -> q. r or s. q or ~r. s -> p. Therefore q.