The bear chases the mouse. The bear is green. The bear is young. The cow needs the mouse. The mouse is young. The mouse needs the rabbit. The rabbit chases the bear. The rabbit is not green. The rabbit needs the cow. The rabbit needs the mouse. If someone needs the rabbit and they eat the mouse then the mouse does not chase the bear. If someone chases the bear then the bear needs the mouse. If someone is rough then they chase the rabbit. If someone is rough then they chase the mouse. If someone eats the bear and they are not rough then they need the mouse. If someone eats the bear and they eat the cow then the cow eats the mouse.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is young.
("bear" "is" "young" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is not green.
("rabbit" "is" "green" "-")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
If someone needs the rabbit and they eat the mouse then the mouse does not chase the bear.
((("someone" "needs" "rabbit" "+") ("someone" "eats" "mouse" "+")) -> ("mouse" "chases" "bear" "-"))
If someone chases the bear then the bear needs the mouse.
((("someone" "chases" "bear" "+")) -> ("bear" "needs" "mouse" "+"))
If someone is rough then they chase the rabbit.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone is rough then they chase the mouse.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "mouse" "+"))
If someone eats the bear and they are not rough then they need the mouse.
((("someone" "eats" "bear" "+") ("someone" "is" "rough" "~")) -> ("someone" "needs" "mouse" "+"))
If someone eats the bear and they eat the cow then the cow eats the mouse.
((("someone" "eats" "bear" "+") ("someone" "eats" "cow" "+")) -> ("cow" "eats" "mouse" "+"))
The bear is young.
True
1
proof
[(triple3)]
("bear" "is" "young" "+")
triple3
The bear is not young.
False
1
inv-proof
[(triple3)]
("bear" "is" "young" "-")
triple3
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear chases the mouse.[(triple1)] The bear is green.[(triple2)] The bear is young.[(triple3)] The cow needs the mouse.[(triple4)] The mouse is young.[(triple5)] The mouse needs the rabbit.[(triple6)] The rabbit chases the bear.[(triple7)] The rabbit is not green.[(triple8)] The rabbit needs the cow.[(triple9)] The rabbit needs the mouse.[(triple10)] @1: The bear needs the mouse.[(((triple7) -> rule2))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple4
The mouse is young.
("mouse" "is" "young" "+")
triple5
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple6
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple7
The rabbit is not green.
("rabbit" "is" "green" "-")
triple8
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple9
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple10
The bear needs the mouse.
("bear" "needs" "mouse" "+")
((triple7) -> (rule2 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1