Anne is big. Anne is kind. Anne is not nice. Anne is quiet. Anne is round. Anne is smart. Anne is young. Quiet people are big. Young, smart people are quiet.
Anne is not nice.
@0: Anne is big.[(triple1 OR ((triple4) -> rule1) OR ((((triple7 triple6) -> rule2)) -> rule1))] Anne is kind.[(triple2)] Anne is not nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple7 triple6) -> rule2))] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)]