Anne is kind. Bob is rough. Charlie is kind. If Anne is young and Anne is kind then Anne is nice. All kind people are young.
Anne is not nice.
@0: Anne is kind.[(triple1)] Bob is rough.[(triple2)] Charlie is kind.[(triple3)] @1: Anne is young.[(((triple1) -> rule2))] Charlie is young.[(((triple3) -> rule2))] @2: Anne is nice.[(((((triple1) -> rule2) triple1) -> rule1))]