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