Anne is blue. Anne is furry. Anne is kind. Anne is nice. Anne is quiet. Anne is not rough. Anne is white. All nice things are white. If Anne is white and Anne is not rough then Anne is furry. If Anne is kind and Anne is not furry then Anne is blue. If Anne is blue then Anne is kind. All rough things are not blue. If something is quiet and not white then it is blue. Blue, furry things are quiet. If something is kind and nice then it is quiet.
Anne is not nice.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple7 triple6) -> rule2) OR ((((triple4) -> rule1) triple6) -> rule2))] Anne is kind.[(triple3 OR ((triple1) -> rule4))] Anne is nice.[(triple4)] Anne is not rough.[(triple6)] Anne is quiet.[(triple5 OR ((triple1 triple2) -> rule7) OR ((triple3 triple4) -> rule8) OR ((triple1 ((triple7 triple6) -> rule2)) -> rule7) OR ((((triple1) -> rule4) triple4) -> rule8) OR ((triple1 ((((triple4) -> rule1) triple6) -> rule2)) -> rule7))] Anne is white.[(triple7 OR ((triple4) -> rule1))]