Translate the following inference to logic notation: If Richard were a janitor, then Barbara is a sailor. If it is cloudy, then it is raining. It is not raining. If Patricia were a server, then Barbara is a sailor. Patricia is a server or Richard is a janitor. Therefore Barbara is a sailor and it is not cloudy.
p -> q. r -> s. ~s. t -> q. t or p. Therefore q and ~r.