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