Anne is blue. Anne is green. Harry is young. If Anne is green then Anne is nice.
Anne is not white.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Harry is young.[(triple3)] @1: Anne is nice.[(((triple2) -> rule1))]