Anne is green. Anne is kind. Anne is nice. Anne is not quiet. Anne is red. Anne is smart. Anne is not young. Quiet things are nice. If Anne is green then Anne is red. Green, smart things are red. Green, red things are not young. If something is green and not smart then it is young. If something is kind and not nice then it is green.
Anne is not nice.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is not quiet.[(triple4)] Anne is not young.[(triple7 OR ((triple1 triple5) -> rule4) OR ((triple1 ((triple1) -> rule2)) -> rule4) OR ((triple1 ((triple1 triple6) -> rule3)) -> rule4))] Anne is red.[(triple5 OR ((triple1) -> rule2) OR ((triple1 triple6) -> rule3))] Anne is smart.[(triple6)]