Anne is not cold. Anne is green. Anne is nice. Anne is smart. Harry is not big. Harry is cold. Harry is furry. If Harry is cold then Harry is not nice. All smart things are not big.
Harry is not green.
@0: Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is not cold.[(triple1)] Anne is smart.[(triple4)] Harry is cold.[(triple6)] Harry is furry.[(triple7)] Harry is not big.[(triple5)] @1: Anne is not big.[(((triple4) -> rule2))] Harry is not nice.[(((triple6) -> rule1))]