Alan is young in age, round in form, wears blue and is rough. Throughout the time Charlie was young, he was a round and rough fellow. Because he was often cold, he was also blue. Harry has been blue because he's green with envy. Just as you might expect, blue and red people are always big. If someone is round they could be red or blue, or green. A guy or girl that's round, kind and young is going to be a big girl or guy, too. Big green and young people are often nice. Cold and rough people are usually red. It is a universal truth that whoever is young and round and big must also be kind.
Harry is green.
@0: Alan is blue.[(triple4)] Alan is rough.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple9)] Charlie is cold.[(triple8)] Charlie is rough.[(triple7)] Charlie is round.[(triple6)] Charlie is young.[(triple5)] Harry is blue.[(triple11)] Harry is green.[(triple10)] @1: Charlie is red.[(((triple7 triple8) -> rule5))] @2: Charlie is big.[(((triple9 ((triple7 triple8) -> rule5)) -> rule1))] Charlie is green.[(((((triple7 triple8) -> rule5) triple9 triple6) -> rule2))] @3: Charlie is kind.[(((triple5 triple6 ((triple9 ((triple7 triple8) -> rule5)) -> rule1)) -> rule6))] Charlie is nice.[(((((triple9 ((triple7 triple8) -> rule5)) -> rule1) ((((triple7 triple8) -> rule5) triple9 triple6) -> rule2) triple5) -> rule4))]