Bob has been blue because he's green with envy. Big Dave is a young, round man. Rough is one way to describe Gary.  He's also round and tends to be blue and red. Big Harry is a young, round man. You'll find that a green, round person tends to be rough with other people. A young person who has been out in the cold with rough skin is also blue. A young aged rough person that is big in shape will be the color blue. A young person that is also big and round is usually though of as green,. Big and round people,though cold,are often nice.
Harry is blue.
@0: Bob is blue.[(triple2)] Bob is green.[(triple1)] Dave is big.[(triple5)] Dave is round.[(triple4)] Dave is young.[(triple3)] Gary is blue.[(triple9)] Gary is red.[(triple8)] Gary is rough.[(triple7)] Gary is round.[(triple6)] Harry is big.[(triple12)] Harry is round.[(triple11)] Harry is young.[(triple10)] @1: Dave is green.[(((triple3 triple5 triple4) -> rule4))] Harry is green.[(((triple10 triple12 triple11) -> rule4))] @2: Dave is rough.[(((triple4 ((triple3 triple5 triple4) -> rule4)) -> rule1))] Harry is rough.[(((triple11 ((triple10 triple12 triple11) -> rule4)) -> rule1))] @3: Dave is blue.[(((((triple4 ((triple3 triple5 triple4) -> rule4)) -> rule1) triple3 triple5) -> rule3))] Harry is blue.[(((((triple11 ((triple10 triple12 triple11) -> rule4)) -> rule1) triple10 triple12) -> rule3))]