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