Translate the following inference to logic notation: Linda is drinking water or it is windy. Linda is not drinking water or Richard is a police officer. Richard is a police officer if and only if it is cold. It is cold or it is not windy. Therefore it is cold.
p or q. ~p or r. r <-> s. s or ~q. Therefore s.