Anne is big. Anne is blue. Anne is cold. Anne is smart. Anne is young. Bob is not big. Bob is blue. Bob is cold. Bob is kind. Bob is smart. Bob is young. Dave is blue. Dave is kind. Dave is nice. Dave is smart. Dave is not young. If Dave is big then Dave is blue. All cold things are kind. All smart, kind things are cold. If something is cold and big then it is smart. If something is not young then it is big. Kind things are blue. If something is cold then it is kind. If something is not smart and not nice then it is blue.
Dave is not cold.