Translate the following inference to logic notation: If it is windy, then Susan is a lawyer. If Jessica works, then it is not raining. If Susan were a lawyer, then Jessica is working. It is raining. Therefore it is not windy.
p -> q. r -> ~s. q -> r. s. Therefore ~p.