Translate the following inference to logic notation: Barbara is a lawyer. If Linda drives a car, then it is sunny. It is not sunny. Therefore Linda is not driving a car or it is raining.
p. q -> r. ~r. Therefore ~q or s.