Translate the following inference to logic notation: If Sarah were a janitor, then James is playing tennis. If it is late, then Sarah is a janitor. James is not playing tennis. Therefore it is not late or it is raining.
p -> q. r -> p. ~q. Therefore ~r or s.