The bear chases the mouse. The bear chases the squirrel. The bear does not eat the mouse. The bear is not green. The bear is round. The bear needs the squirrel. The mouse chases the bear. The mouse chases the squirrel. The mouse does not eat the bear. The mouse is round. The mouse needs the squirrel. The squirrel does not chase the mouse. The squirrel eats the bear. The squirrel eats the mouse. The squirrel is not red. The squirrel needs the mouse. If something eats the squirrel then it chases the bear. If something is blue then it does not need the mouse. If something chases the bear then it is blue. If the mouse does not eat the squirrel then the squirrel is nice. If something is green then it chases the mouse. If something chases the squirrel then the squirrel does not chase the mouse. If something needs the mouse and it eats the mouse then the mouse needs the bear. If something is blue and it needs the mouse then the mouse is blue.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear does not eat the mouse.
("bear" "eats" "mouse" "-")
The bear is not green.
("bear" "is" "green" "-")
The bear is round.
("bear" "is" "round" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is not red.
("squirrel" "is" "red" "-")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If something eats the squirrel then it chases the bear.
((("something" "eats" "squirrel" "+")) -> ("something" "chases" "bear" "+"))
If something is blue then it does not need the mouse.
((("something" "is" "blue" "+")) -> ("something" "needs" "mouse" "-"))
If something chases the bear then it is blue.
((("something" "chases" "bear" "+")) -> ("something" "is" "blue" "+"))
If the mouse does not eat the squirrel then the squirrel is nice.
((("mouse" "eats" "squirrel" "~")) -> ("squirrel" "is" "nice" "+"))
If something is green then it chases the mouse.
((("something" "is" "green" "+")) -> ("something" "chases" "mouse" "+"))
If something chases the squirrel then the squirrel does not chase the mouse.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "chases" "mouse" "-"))
If something needs the mouse and it eats the mouse then the mouse needs the bear.
((("something" "needs" "mouse" "+") ("something" "eats" "mouse" "+")) -> ("mouse" "needs" "bear" "+"))
If something is blue and it needs the mouse then the mouse is blue.
((("something" "is" "blue" "+") ("something" "needs" "mouse" "+")) -> ("mouse" "is" "blue" "+"))
The mouse chases the bear.
True
1
proof
[(triple7)]
("mouse" "chases" "bear" "+")
triple7
The squirrel does not eat the bear.
False
1
inv-proof
[(triple13)]
("squirrel" "eats" "bear" "-")
triple13
The squirrel is not blue.
Unknown
inv-rconc
[@2: The squirrel is blue.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("squirrel" "is" "blue" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear chases the mouse.[(triple1)] The bear chases the squirrel.[(triple2)] The bear does not eat the mouse.[(triple3)] The bear is not green.[(triple4)] The bear is round.[(triple5)] The bear needs the squirrel.[(triple6)] The mouse chases the bear.[(triple7)] The mouse chases the squirrel.[(triple8)] The mouse does not eat the bear.[(triple9)] The mouse is round.[(triple10)] The mouse needs the squirrel.[(triple11)] The squirrel does not chase the mouse.[(triple12 OR ((triple2) -> rule6) OR ((triple8) -> rule6))] The squirrel eats the bear.[(triple13)] The squirrel eats the mouse.[(triple14)] The squirrel is not red.[(triple15)] The squirrel needs the mouse.[(triple16)] @1: The mouse is blue.[(((triple7) -> rule3))] The mouse needs the bear.[(((triple16 triple14) -> rule7))] @2: The mouse does not need the mouse.[(((((triple7) -> rule3)) -> rule2))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The bear does not eat the mouse.
("bear" "eats" "mouse" "-")
triple3
The bear is not green.
("bear" "is" "green" "-")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple6
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple7
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple8
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
triple9
The mouse is round.
("mouse" "is" "round" "+")
triple10
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple11
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
triple12
((triple2) -> (rule6 % int1))
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
int1
((triple8) -> (rule6 % int1))
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple13
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple14
The squirrel is not red.
("squirrel" "is" "red" "-")
triple15
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple16
The mouse is blue.
("mouse" "is" "blue" "+")
((triple7) -> (rule3 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse needs the bear.
("mouse" "needs" "bear" "+")
((triple16 triple14) -> (rule7 % int1))
The mouse needs the bear.
("mouse" "needs" "bear" "+")
int1
The mouse does not need the mouse.
("mouse" "needs" "mouse" "-")
((((triple7) -> (rule3 % int2))) -> (rule2 % int1))
The mouse does not need the mouse.
("mouse" "needs" "mouse" "-")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2