Translate the following inference to logic notation: If Linda were a lawyer, then it is sunny. If it is sunny, then it is snowing. Linda is a lawyer. Therefore it is snowing or it is windy.
p -> q. q -> r. p. Therefore r or s.