Anne is white. Dave is white. If someone is white then they are furry.
Dave is not white.
@0: Anne is white.[(triple1)] Dave is white.[(triple2)] @1: Anne is furry.[(((triple1) -> rule1))] Dave is furry.[(((triple2) -> rule1))]