Anne is smart. Charlie is big. Gary is furry. Harry is big. Smart people are kind. Furry, red people are nice. Big people are smart.
Harry is not kind.
@0: Anne is smart.[(triple1)] Charlie is big.[(triple2)] Gary is furry.[(triple3)] Harry is big.[(triple4)] @1: Anne is kind.[(((triple1) -> rule1))] Charlie is smart.[(((triple2) -> rule3))] Harry is smart.[(((triple4) -> rule3))] @2: Charlie is kind.[(((((triple2) -> rule3)) -> rule1))] Harry is kind.[(((((triple4) -> rule3)) -> rule1))]