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