Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is nice. Anne is quiet. Anne is white. All kind, quiet things are furry. Quiet things are white. All furry, quiet things are blue. All quiet, furry things are cold. Cold, nice things are quiet. White, blue things are cold.
Anne is not blue.
@0: Anne is blue.[(triple1 OR ((triple3 triple6) -> rule3) OR ((triple3 ((triple2 triple5) -> rule5)) -> rule3) OR ((((triple4 triple6) -> rule1) triple6) -> rule3) OR ((((triple4 triple6) -> rule1) ((triple2 triple5) -> rule5)) -> rule3) OR ((((triple4 ((triple2 triple5) -> rule5)) -> rule1) triple6) -> rule3) OR ((((triple4 ((triple2 triple5) -> rule5)) -> rule1) ((triple2 triple5) -> rule5)) -> rule3))] Anne is cold.[(triple2 OR ((triple6 triple3) -> rule4) OR ((triple7 triple1) -> rule6) OR ((triple6 ((triple4 triple6) -> rule1)) -> rule4) OR ((triple7 ((triple3 triple6) -> rule3)) -> rule6) OR ((((triple6) -> rule2) triple1) -> rule6) OR ((((triple6) -> rule2) ((triple3 triple6) -> rule3)) -> rule6) OR ((triple7 ((((triple4 triple6) -> rule1) triple6) -> rule3)) -> rule6) OR ((((triple6) -> rule2) ((((triple4 triple6) -> rule1) triple6) -> rule3)) -> rule6))] Anne is furry.[(triple3 OR ((triple4 triple6) -> rule1) OR ((triple4 ((triple2 triple5) -> rule5)) -> rule1) OR ((triple4 ((((triple7 triple1) -> rule6) triple5) -> rule5)) -> rule1))] Anne is kind.[(triple4)] Anne is nice.[(triple5)] Anne is quiet.[(triple6 OR ((triple2 triple5) -> rule5) OR ((((triple7 triple1) -> rule6) triple5) -> rule5))] Anne is white.[(triple7 OR ((triple6) -> rule2) OR ((((triple2 triple5) -> rule5)) -> rule2))]