Anne is blue. Anne is cold. Anne is red. Anne is rough. Anne is smart. Anne is white. Anne is young. All smart, cold things are red. White things are rough. If Anne is white then Anne is blue.
Anne is not blue.
@0: Anne is blue.[(triple1 OR ((triple6) -> rule3))] Anne is cold.[(triple2)] Anne is red.[(triple3 OR ((triple5 triple2) -> rule1))] Anne is rough.[(triple4 OR ((triple6) -> rule2))] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)]