Charlie has been blue because he's green with envy. Young Dave is nice and round.  When he's cold, he is also quite rough. Gary is very big for being so young. Round people who are kind and green with envy are young. A nice round person is big. A young person that is also big and round is usually though of as green,. People who are big, green, and rough are bound to be red. When I see a young child who plays rough on the playground with others and has cold hands, I know it means they are kind.
Charlie is green.
@0: Charlie is blue.[(triple2)] Charlie is green.[(triple1)] Dave is cold.[(triple7)] Dave is nice.[(triple6)] Dave is rough.[(triple5)] Dave is round.[(triple4)] Dave is young.[(triple3)] Gary is big.[(triple9)] Gary is young.[(triple8)] @1: Dave is big.[(((triple4 triple6) -> rule2))] Dave is kind.[(((triple5 triple3 triple7) -> rule5))] @2: Dave is green.[(((triple3 ((triple4 triple6) -> rule2) triple4) -> rule3))] @3: Dave is red.[(((((triple4 triple6) -> rule2) ((triple3 ((triple4 triple6) -> rule2) triple4) -> rule3) triple5) -> rule4))]