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