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