Anne is blue. Anne is cold. Anne is green. Anne is kind. Anne is nice. Anne is red. Anne is smart. All smart things are green. All blue things are kind.
Anne is cold.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3 OR ((triple7) -> rule1))] Anne is kind.[(triple4 OR ((triple1) -> rule2))] Anne is nice.[(triple5)] Anne is red.[(triple6)] Anne is smart.[(triple7)]