Anne is big. Anne is cold. Anne is nice. Anne is red. Anne is rough. Anne is white. Anne is young. If something is white then it is nice. White things are big.
Anne is not red.
@0: Anne is big.[(triple1 OR ((triple6) -> rule2))] Anne is cold.[(triple2)] Anne is nice.[(triple3 OR ((triple6) -> rule1))] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)]