Anne is green. Anne is nice. Anne is smart. Dave is big. Dave is kind. Fiona is kind. Fiona is nice. Harry is nice. Harry is smart. Harry is white. If something is white and smart then it is kind. If something is green and nice then it is cold.
Anne is not green.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Dave is big.[(triple4)] Dave is kind.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Harry is nice.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Anne is cold.[(((triple1 triple2) -> rule2))] Harry is kind.[(((triple10 triple9) -> rule1))]