Anne is cold. Anne is green. Anne is smart. Harry is big. Harry is cold. Harry is green. Harry is nice. If Anne is big then Anne is blue. If something is cold then it is blue.
Anne is cold.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is smart.[(triple3)] Harry is big.[(triple4)] Harry is cold.[(triple5)] Harry is green.[(triple6)] Harry is nice.[(triple7)] @1: Anne is blue.[(((triple1) -> rule2))] Harry is blue.[(((triple5) -> rule2))]