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