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