Anne is big. Anne is cold. Anne is green. Anne is red. Anne is smart. Anne is white. Anne is young. If something is cold then it is red. If something is red and white then it is cold. All smart things are cold.
Anne is white.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple5) -> rule3) OR ((triple4 triple6) -> rule2))] Anne is green.[(triple3)] Anne is red.[(triple4 OR ((triple2) -> rule1) OR ((((triple5) -> rule3)) -> rule1))] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)]