Anne is not nice. Anne is quiet. Bob is furry. Bob is not nice. Bob is quiet. Bob is rough. Gary is nice. All quiet, rough things are smart. If Gary is furry then Gary is smart.
Anne is quiet.
@0: Anne is not nice.[(triple1)] Anne is quiet.[(triple2)] Bob is furry.[(triple3)] Bob is not nice.[(triple4)] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Gary is nice.[(triple7)] @1: Bob is smart.[(((triple5 triple6) -> rule1))]