Anne is big. Bob is green. Harry is green. Green things are nice. If something is smart then it is green. If Anne is green and Anne is big then Anne is cold.
Bob is green.
@0: Anne is big.[(triple1)] Bob is green.[(triple2)] Harry is green.[(triple3)] @1: Bob is nice.[(((triple2) -> rule1))] Harry is nice.[(((triple3) -> rule1))]