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