Anne is blue. Anne is furry. Anne is red. If something is furry then it is rough.
Anne is blue.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is red.[(triple3)] @1: Anne is rough.[(((triple2) -> rule1))]