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