Translate the following inference to logic notation: If it is cold, then Barbara is a janitor. Joseph is climbing a mountain or it is cold. If Joseph climbs a mountain, then Barbara is a janitor. If Barbara were a janitor, then Joseph is climbing a mountain. Therefore Barbara is a janitor or William is listening to a song.
p -> q. r or p. r -> q. q -> r. Therefore q or s.