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