They always call him rough Charlie. Dave wears all blue. Eric is rough and is blue, but that's because he's big and round in a small and square world. Harry was born only a few years ago so he is young. If the description of nice and green applies to somebody, the description of young will, too. A rough, big soul is sure to be nice, too. Someone who's blue, nice and round will also be someone who's green. A person that is green also someone who is big.
Dave is green.
@0: Charlie is rough.[(triple1)] Dave is blue.[(triple2)] Eric is big.[(triple6)] Eric is blue.[(triple5)] Eric is rough.[(triple4)] Eric is round.[(triple3)] Harry is young.[(triple7)] @1: Eric is nice.[(((triple4 triple6) -> rule2))] @2: Eric is green.[(((triple5 ((triple4 triple6) -> rule2) triple3) -> rule3))] @3: Eric is young.[(((((triple5 ((triple4 triple6) -> rule2) triple3) -> rule3) ((triple4 triple6) -> rule2)) -> rule1))]