The bald eagle chases the mouse. The bald eagle needs the rabbit. The bear eats the mouse. The bear eats the rabbit. The bear needs the rabbit. The mouse chases the bear. The mouse eats the bald eagle. The mouse is nice. The mouse is young. The mouse needs the rabbit. The rabbit eats the bald eagle. The rabbit eats the bear. If something needs the mouse then the mouse chases the bear. If something is green and it eats the rabbit then it eats the bear. If the mouse eats the bald eagle then the bald eagle chases the mouse. If something chases the bear then the bear needs the rabbit. If something eats the mouse then the mouse chases the rabbit. If something eats the bald eagle then the bald eagle needs the rabbit. If something eats the rabbit and the rabbit is young then the rabbit needs the mouse. If something needs the mouse then it needs the bear.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
If something needs the mouse then the mouse chases the bear.
((("something" "needs" "mouse" "+")) -> ("mouse" "chases" "bear" "+"))
If something is green and it eats the rabbit then it eats the bear.
((("something" "is" "green" "+") ("something" "eats" "rabbit" "+")) -> ("something" "eats" "bear" "+"))
If the mouse eats the bald eagle then the bald eagle chases the mouse.
((("mouse" "eats" "bald eagle" "+")) -> ("bald eagle" "chases" "mouse" "+"))
If something chases the bear then the bear needs the rabbit.
((("something" "chases" "bear" "+")) -> ("bear" "needs" "rabbit" "+"))
If something eats the mouse then the mouse chases the rabbit.
((("something" "eats" "mouse" "+")) -> ("mouse" "chases" "rabbit" "+"))
If something eats the bald eagle then the bald eagle needs the rabbit.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "needs" "rabbit" "+"))
If something eats the rabbit and the rabbit is young then the rabbit needs the mouse.
((("something" "eats" "rabbit" "+") ("rabbit" "is" "young" "+")) -> ("rabbit" "needs" "mouse" "+"))
If something needs the mouse then it needs the bear.
((("something" "needs" "mouse" "+")) -> ("something" "needs" "bear" "+"))
The bald eagle needs the rabbit.
True
1
proof
[(triple2 OR ((triple11) -> rule6) OR ((triple7) -> rule6))]
("bald eagle" "needs" "rabbit" "+")
triple2
((triple11) -> (rule6 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
((triple7) -> (rule6 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The mouse does not need the rabbit.
False
1
inv-proof
[(triple10)]
("mouse" "needs" "rabbit" "-")
triple10
The mouse does not need the bear.
Unknown
inv-rconc
[@1: The mouse needs the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "needs" "bear" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle chases the mouse.[(triple1 OR ((triple7) -> rule3))] The bald eagle needs the rabbit.[(triple2 OR ((triple11) -> rule6) OR ((triple7) -> rule6))] The bear eats the mouse.[(triple3)] The bear eats the rabbit.[(triple4)] The bear needs the rabbit.[(triple5 OR ((triple6) -> rule4))] The mouse chases the bear.[(triple6)] The mouse eats the bald eagle.[(triple7)] The mouse is nice.[(triple8)] The mouse is young.[(triple9)] The mouse needs the rabbit.[(triple10)] The rabbit eats the bald eagle.[(triple11)] The rabbit eats the bear.[(triple12)] @1: The mouse chases the rabbit.[(((triple3) -> rule5))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
((triple7) -> (rule3 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple2
((triple11) -> (rule6 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
((triple7) -> (rule6 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple3
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple4
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple5
((triple6) -> (rule4 % int1))
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple6
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple7
The mouse is nice.
("mouse" "is" "nice" "+")
triple8
The mouse is young.
("mouse" "is" "young" "+")
triple9
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple10
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple11
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple12
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
((triple3) -> (rule5 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1