Translate the following inference to logic notation: It is cold and Mary is a police officer. Susan is not a politician. Susan is a politician or Thomas is happy. Therefore it is cold and Thomas is happy.
p and q. ~r. r or s. Therefore p and s.