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