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