Anne is nice. Dave is quiet. Harry is furry. Furry things are red. If something is quiet and not smart then it is furry.
Anne is not red.
@0: Anne is nice.[(triple1)] Dave is quiet.[(triple2)] Harry is furry.[(triple3)] @1: Harry is red.[(((triple3) -> rule1))]