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