Anne is nice. Charlie is smart. If something is smart and white then it is furry. All smart things are nice. If Charlie is not quiet then Charlie is furry. Nice, smart things are white. All quiet things are not green. Green things are smart.
Anne is nice.
@0: Anne is nice.[(triple1)] Charlie is smart.[(triple2)] @1: Charlie is nice.[(((triple2) -> rule2))] @2: Charlie is white.[(((((triple2) -> rule2) triple2) -> rule4))] @3: Charlie is furry.[(((triple2 ((((triple2) -> rule2) triple2) -> rule4)) -> rule1))]