Anne is rough. Charlie is big. Gary is quiet. All big, blue people are nice. All big, young people are blue. All big people are young.
Charlie is big.
@0: Anne is rough.[(triple1)] Charlie is big.[(triple2)] Gary is quiet.[(triple3)] @1: Charlie is young.[(((triple2) -> rule3))] @2: Charlie is blue.[(((triple2 ((triple2) -> rule3)) -> rule2))] @3: Charlie is nice.[(((triple2 ((triple2 ((triple2) -> rule3)) -> rule2)) -> rule1))]