Anne is smart. Anne is white. Bob is round. Round things are quiet. Smart, quiet things are round.
Bob is round.
@0: Anne is smart.[(triple1)] Anne is white.[(triple2)] Bob is round.[(triple3)] @1: Bob is quiet.[(((triple3) -> rule1))]