Anne is kind. Charlie is nice. If something is nice then it is kind. Kind things are green. If Anne is not young then Anne is kind. All red things are nice. If something is smart and not kind then it is not furry. Green things are smart. If something is young and not red then it is smart. Furry things are not smart.
Charlie is kind.
@0: Anne is kind.[(triple1)] Charlie is nice.[(triple2)] @1: Anne is green.[(((triple1) -> rule2))] Charlie is kind.[(((triple2) -> rule1))] @2: Anne is smart.[(((((triple1) -> rule2)) -> rule6))] Charlie is green.[(((((triple2) -> rule1)) -> rule2))] @3: Charlie is smart.[(((((((triple2) -> rule1)) -> rule2)) -> rule6))]