Translate the following inference to logic notation: It is cold. It is windy or Sarah is not a politician. It is not windy. Therefore Sarah is not a politician and it is cold.
p. q or ~r. ~q. Therefore ~r and p.