Anne is blue. Anne is green. Erin is furry. Furry people are rough.
Anne is blue.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Erin is furry.[(triple3)] @1: Erin is rough.[(((triple3) -> rule1))]