Anne is big. Anne is blue. Anne is green. Anne is quiet. Anne is round. Anne is smart. Anne is young. All young, green things are quiet. If something is smart and blue then it is round.
Anne is not quiet.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is quiet.[(triple4 OR ((triple7 triple3) -> rule1))] Anne is round.[(triple5 OR ((triple6 triple2) -> rule2))] Anne is smart.[(triple6)] Anne is young.[(triple7)]