Translate the following inference to logic notation: Sarah is making tea. Jennifer is a bartender or Sarah is not making tea. If Jennifer were a bartender, then it is cold. Therefore it is cold.
p. q or ~p. q -> r. Therefore r.