Anne is young. Gary is blue. Harry is furry. All young things are furry.
Anne is blue.
@0: Anne is young.[(triple1)] Gary is blue.[(triple2)] Harry is furry.[(triple3)] @1: Anne is furry.[(((triple1) -> rule1))]