Dave is rough. Erin is green. Gary is green. Harry is nice. If something is rough then it is cold. All rough things are round. If something is red and green then it is rough. If something is not nice and not blue then it is red. Green, red things are cold. All nice things are green. Nice things are red. Green things are red.
Dave is not cold.