Anne is big. Anne is blue. Anne is green. Anne is rough. Anne is smart. Anne is white. Anne is not young. If Anne is blue and Anne is white then Anne is smart.
Anne is white.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is not young.[(triple7)] Anne is rough.[(triple4)] Anne is smart.[(triple5 OR ((triple2 triple6) -> rule1))] Anne is white.[(triple6)]