Translate the following inference to logic notation: If James were a janitor, then it is cold. If it is cold, then it is raining. It is sunny. If it is overcast, then it is raining. It is overcast or James is a janitor. Therefore it is raining and it is sunny.
p -> q. q -> r. s. t -> r. t or p. Therefore r and s.