Translate the following inference to logic notation: If it is sunny, then it is cold. Joseph is not working. Joseph is working or it is not cold. Therefore it is not sunny.
p -> q. ~r. r or ~q. Therefore ~p.