Translate the following inference to logic notation: If Patricia plays tennis, then it is cloudy. If it is overcast, then Patricia is playing tennis. It is not cloudy. Elisabeth is a janitor. Therefore it is not overcast and Elisabeth is a janitor.
p -> q. r -> p. ~q. s. Therefore ~r and s.