Translate the following inference to logic notation: If it is late, then it is snowing. If it snows, then it is late. If it snows, then James is a janitor. Therefore if it is late, then James is a janitor.
p -> q. q -> p. q -> r. Therefore p -> r.