Anne is furry. Anne is smart. Dave is nice. Dave is red. Dave is rough. Dave is smart. Dave is young. Smart, young people are quiet. If Anne is quiet and Anne is furry then Anne is rough. If Dave is smart and Dave is furry then Dave is quiet.
Dave is smart.
@0: Anne is furry.[(triple1)] Anne is smart.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)] @1: Dave is quiet.[(((triple6 triple7) -> rule1))]