Anne is young. Dave is kind. Gary is kind. Harry is blue. Young things are kind. All blue things are round. If something is kind and round then it is green. If Dave is kind then Dave is blue. Kind things are green. If Dave is blue and Dave is round then Dave is rough.
Anne is not young.
@0: Anne is young.[(triple1)] Dave is kind.[(triple2)] Gary is kind.[(triple3)] Harry is blue.[(triple4)] @1: Anne is kind.[(((triple1) -> rule1))] Dave is blue.[(((triple2) -> rule4))] Dave is green.[(((triple2) -> rule5) OR ((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule3))] Gary is green.[(((triple3) -> rule5))] Harry is round.[(((triple4) -> rule2))] @2: Anne is green.[(((((triple1) -> rule1)) -> rule5))] Dave is round.[(((((triple2) -> rule4)) -> rule2))] @3: Dave is rough.[(((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule2)) -> rule6))]