Anne is furry. Bob is rough. Gary is smart. Harry is smart. Rough things are furry.
Bob is not rough.
@0: Anne is furry.[(triple1)] Bob is rough.[(triple2)] Gary is smart.[(triple3)] Harry is smart.[(triple4)] @1: Bob is furry.[(((triple2) -> rule1))]