Charlie is young. Charlie is red. Dave is kind. Dave is blue. Dave is big. Fred is rough. Harry is young. Harry is green. Harry is cold. Harry is big. If someone is big and blue and green then they are red. If someone is kind and big then they are nice. If someone is green and nice then they are blue. If someone is rough and blue then they are young. If someone is young and big then they are nice.
Harry is not blue.