Translate the following inference to logic notation: If it is cold, then James is a janitor. If it is cold, then James is a janitor. If James were a janitor, then it is cold. Therefore if it is cold, then James is a janitor.
p -> q. p -> q. q -> p. Therefore p -> q.