Dave is red. Dave is smart. Harry is cold. If something is cold then it is rough. If something is cold and not smart then it is rough. If something is smart and not nice then it is cold. If something is red and not nice then it is cold. Rough things are big. If something is smart and not big then it is not nice.
Dave is not cold.