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