Anne is green. Anne is kind. Bob is nice. Green, kind things are big. Green, cold things are kind. All big, green things are furry.
Bob is not kind.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Bob is nice.[(triple3)] @1: Anne is big.[(((triple1 triple2) -> rule1))] @2: Anne is furry.[(((((triple1 triple2) -> rule1) triple1) -> rule3))]