Anne is kind. Charlie is round. Gary is white. Harry is big. If Gary is white then Gary is rough. If something is round then it is young. All young things are big. If something is white and big then it is nice. All big things are nice. All big, nice things are kind.
Anne is white.
@0: Anne is kind.[(triple1)] Charlie is round.[(triple2)] Gary is white.[(triple3)] Harry is big.[(triple4)] @1: Charlie is young.[(((triple2) -> rule2))] Gary is rough.[(((triple3) -> rule1))] Harry is nice.[(((triple4) -> rule5))] @2: Charlie is big.[(((((triple2) -> rule2)) -> rule3))] Harry is kind.[(((triple4 ((triple4) -> rule5)) -> rule6))] @3: Charlie is nice.[(((((((triple2) -> rule2)) -> rule3)) -> rule5))] @4: Charlie is kind.[(((((((triple2) -> rule2)) -> rule3) ((((((triple2) -> rule2)) -> rule3)) -> rule5)) -> rule6))]