Anne is white. Charlie is quiet. Harry is furry. All furry people are quiet.
Anne is nice.
@0: Anne is white.[(triple1)] Charlie is quiet.[(triple2)] Harry is furry.[(triple3)] @1: Harry is quiet.[(((triple3) -> rule1))]