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