Anne is big. Anne is blue. Anne is kind. Anne is nice. Anne is quiet. Anne is round. Anne is smart. Kind things are quiet. Quiet things are nice.
Anne is smart.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple5) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Anne is quiet.[(triple5 OR ((triple3) -> rule1))] Anne is round.[(triple6)] Anne is smart.[(triple7)]