Anne is not green. Anne is kind. Anne is red. Anne is round. Anne is not smart. Anne is white. Anne is young. If something is smart then it is white. If Anne is young and Anne is not smart then Anne is white.
Anne is young.
@0: Anne is kind.[(triple2)] Anne is not green.[(triple1)] Anne is not smart.[(triple5)] Anne is red.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple6 OR ((triple7 triple5) -> rule2))] Anne is young.[(triple7)]