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