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