Anne is smart. Anne is white. Bob is blue. Bob is green. Bob is white. Gary is quiet. Gary is young. Green people are quiet.
Anne is not quiet.
@0: Anne is smart.[(triple1)] Anne is white.[(triple2)] Bob is blue.[(triple3)] Bob is green.[(triple4)] Bob is white.[(triple5)] Gary is quiet.[(triple6)] Gary is young.[(triple7)] @1: Bob is quiet.[(((triple4) -> rule1))]