Alan always goes out of his way to show that he is kind to people. Bob wears all blue. Charlie is still young and round, but he is nice to everyone and kind to animals. Red Harry is what folks call him, because he is quite red. Kind young people are red. Anyone in the world who is nice, red, and young, is simultaneously rough. When you meet someone that's rough, kind and nice you'll see they are green as well. Color anybody red and blue, then make them rough, and they will surely be round.
Charlie is red.
@0: Alan is kind.[(triple1)] Bob is blue.[(triple2)] Charlie is kind.[(triple6)] Charlie is nice.[(triple5)] Charlie is round.[(triple4)] Charlie is young.[(triple3)] Harry is red.[(triple7)] @1: Charlie is red.[(((triple6 triple3) -> rule1))] @2: Charlie is rough.[(((triple5 ((triple6 triple3) -> rule1) triple3) -> rule2))] @3: Charlie is green.[(((((triple5 ((triple6 triple3) -> rule1) triple3) -> rule2) triple6 triple5) -> rule3))]