Anne is green. Anne is kind. Anne is quiet. Anne is round. Anne is smart. Anne is white. Anne is young. White, round things are young. White, smart things are green.
Anne is round.
@0: Anne is green.[(triple1 OR ((triple6 triple5) -> rule2))] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple6 triple4) -> rule1))]