Anne is furry. Anne is rough. Bob is smart. Smart people are big.
Anne is not big.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Bob is smart.[(triple3)] @1: Bob is big.[(((triple3) -> rule1))]