Bob is not furry. Bob is quiet. Harry is big. All big people are quiet.
Bob is quiet.
@0: Bob is not furry.[(triple1)] Bob is quiet.[(triple2)] Harry is big.[(triple3)] @1: Harry is quiet.[(((triple3) -> rule1))]