Anne is young. Dave is green. Dave is kind. Kind, nice things are young. If something is nice and not rough then it is kind. If something is nice and green then it is kind. Kind things are nice. All young things are nice. All young, kind things are big. If something is white and young then it is big. If Dave is nice then Dave is not white.
Anne is big.
@0: Anne is young.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] @1: Anne is nice.[(((triple1) -> rule5))] Dave is nice.[(((triple3) -> rule4))] @2: Dave is not white.[(((((triple3) -> rule4)) -> rule8))] Dave is young.[(((triple3 ((triple3) -> rule4)) -> rule1))] @3: Dave is big.[(((((triple3 ((triple3) -> rule4)) -> rule1) triple3) -> rule6))]