Anne is green. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is smart. Round things are red. All nice things are red. Green things are red.
Anne is not round.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4 OR ((triple1) -> rule3) OR ((triple3) -> rule2) OR ((triple6) -> rule1))] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is smart.[(triple7)]