Anne is smart. Bob is furry. If someone is furry and big then they are quiet. Smart people are big.
Anne is not smart.
@0: Anne is smart.[(triple1)] Bob is furry.[(triple2)] @1: Anne is big.[(((triple1) -> rule2))]