That Alan is as round and red as a cherry, and twice as kind. Bob is big and rough. Charlie wears all blue. Fred is round shaped and green colored. A big and young, round someone looks red. There could be a round someone with red hair wearing blue pants. People with blue and red skin color are also green. Blue, young and round people are usually big. Being green, blue, and red all point to how young someone was.
Charlie is kind.
@0: Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is big.[(triple5)] Bob is rough.[(triple4)] Charlie is blue.[(triple6)] Fred is green.[(triple8)] Fred is round.[(triple7)] @1: Alan is blue.[(((triple2 triple1) -> rule2))] @2: Alan is green.[(((((triple2 triple1) -> rule2) triple2) -> rule3))] @3: Alan is young.[(((((((triple2 triple1) -> rule2) triple2) -> rule3) ((triple2 triple1) -> rule2) triple2) -> rule5))] @4: Alan is big.[(((((triple2 triple1) -> rule2) ((((((triple2 triple1) -> rule2) triple2) -> rule3) ((triple2 triple1) -> rule2) triple2) -> rule5) triple1) -> rule4))]