Anne is not big. Anne is green. Anne is not kind. Anne is nice. Anne is quiet. Anne is smart. Anne is white. If something is quiet then it is white. If something is nice then it is white. Kind things are not big. If Anne is quiet and Anne is white then Anne is smart. All kind things are quiet. If Anne is kind then Anne is not green.
Anne is not quiet.
@0: Anne is green.[(triple2)] Anne is nice.[(triple4)] Anne is not big.[(triple1)] Anne is not kind.[(triple3)] Anne is quiet.[(triple5)] Anne is smart.[(triple6 OR ((triple5 triple7) -> rule4) OR ((triple5 ((triple4) -> rule2)) -> rule4) OR ((triple5 ((triple5) -> rule1)) -> rule4))] Anne is white.[(triple7 OR ((triple4) -> rule2) OR ((triple5) -> rule1))]