Bob is big. Bob is cold. Bob is kind. Bob is red. Bob is smart. Dave is smart. Gary is blue. Gary is kind. Gary is red. Harry is big. If something is kind then it is smart. If something is big then it is blue. All blue things are kind. If something is cold then it is red. Cold, big things are young. If something is kind and cold then it is big. If something is kind and smart then it is cold.
Harry is cold.