Bod is round so he's green with envy of anyone who is not. But Charlie is also young and nice so it's easy for him to be kind to others anyway. Fred is very big for being so young. Gary feels blue because the other kids made fun of his round shape. Some who is round in shape, but who is also cold and kind is often always nice. Round people who are kind and green with envy are young. Round blue people are said to be very kind. It's truly amazing that blue, kind, round people are always so nice. Any nice, red, cold fellow is young. A nice person who is also round will always be big. Someone who's big, especially nice, and also cold at the same time can only be young.
Fred is not young.
@0: Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1 OR ((triple5 triple4 triple2) -> rule2))] Fred is big.[(triple7)] Fred is young.[(triple6)] Gary is blue.[(triple9)] Gary is round.[(triple8)] @1: Charlie is big.[(((triple3 triple2) -> rule6))] Gary is kind.[(((triple9 triple8) -> rule3))] @2: Gary is nice.[(((triple9 ((triple9 triple8) -> rule3) triple8) -> rule4))] @3: Gary is big.[(((((triple9 ((triple9 triple8) -> rule3) triple8) -> rule4) triple8) -> rule6))]