The bald eagle chases the bear. The bald eagle is big. The bald eagle is rough. The bald eagle needs the bear. The bald eagle needs the mouse. The bear eats the bald eagle. The bear is rough. The mouse chases the bald eagle. The mouse chases the bear. The mouse eats the bald eagle. The mouse eats the bear. The mouse is blue. The mouse is green. The mouse is rough. The mouse needs the bear. If something chases the mouse then the mouse chases the bald eagle. If something eats the bear and it is green then it needs the bald eagle. If the mouse is green and the mouse needs the bald eagle then the mouse is kind. If something chases the mouse and it chases the bald eagle then the mouse is green. If something needs the bald eagle then the bald eagle chases the mouse. All rough things are big.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is rough.
("bear" "is" "rough" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
If something chases the mouse then the mouse chases the bald eagle.
((("something" "chases" "mouse" "+")) -> ("mouse" "chases" "bald eagle" "+"))
If something eats the bear and it is green then it needs the bald eagle.
((("something" "eats" "bear" "+") ("something" "is" "green" "+")) -> ("something" "needs" "bald eagle" "+"))
If the mouse is green and the mouse needs the bald eagle then the mouse is kind.
((("mouse" "is" "green" "+") ("mouse" "needs" "bald eagle" "+")) -> ("mouse" "is" "kind" "+"))
If something chases the mouse and it chases the bald eagle then the mouse is green.
((("something" "chases" "mouse" "+") ("something" "chases" "bald eagle" "+")) -> ("mouse" "is" "green" "+"))
If something needs the bald eagle then the bald eagle chases the mouse.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "chases" "mouse" "+"))
All rough things are big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
The bear is rough.
True
1
proof
[(triple7)]
("bear" "is" "rough" "+")
triple7
The mouse does not eat the bald eagle.
False
1
inv-proof
[(triple10)]
("mouse" "eats" "bald eagle" "-")
triple10
The mouse needs the bald eagle.
True
3
proof
[(((triple11 triple13) -> rule2))]
("mouse" "needs" "bald eagle" "+")
((triple11 triple13) -> (rule2 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bear is not big.
False
2
inv-proof
[(((triple7) -> rule6))]
("bear" "is" "big" "-")
((triple7) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The mouse is kind.
True
5
proof
[(((triple13 ((triple11 triple13) -> rule2)) -> rule3))]
("mouse" "is" "kind" "+")
((triple13 ((triple11 triple13) -> (rule2 % int2))) -> (rule3 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The bald eagle does not chase the mouse.
False
4
inv-proof
[(((((triple11 triple13) -> rule2)) -> rule5))]
("bald eagle" "chases" "mouse" "-")
((((triple11 triple13) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The bald eagle does not need the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The bear needs the bald eagle.
Unknown
rconc
[@1: The bear needs the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "needs" "bald eagle" "+")
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 bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The bear does not chase the bald eagle.
Unknown
inv-random
[@0: The bear chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bald eagle" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is big.[(triple2 OR ((triple3) -> rule6))] The bald eagle is rough.[(triple3)] The bald eagle needs the bear.[(triple4)] The bald eagle needs the mouse.[(triple5)] The bear eats the bald eagle.[(triple6)] The bear is rough.[(triple7)] The mouse chases the bald eagle.[(triple8 OR ((((((triple11 triple13) -> rule2)) -> rule5)) -> rule1))] The mouse chases the bear.[(triple9)] The mouse eats the bald eagle.[(triple10)] The mouse eats the bear.[(triple11)] The mouse is blue.[(triple12)] The mouse is green.[(triple13)] The mouse is rough.[(triple14)] The mouse needs the bear.[(triple15)] @1: The bear is big.[(((triple7) -> rule6))] The mouse is big.[(((triple14) -> rule6))] The mouse needs the bald eagle.[(((triple11 triple13) -> rule2))] @2: The bald eagle chases the mouse.[(((((triple11 triple13) -> rule2)) -> rule5))] The mouse is kind.[(((triple13 ((triple11 triple13) -> rule2)) -> rule3))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
((triple3) -> (rule6 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple4
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple5
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple6
The bear is rough.
("bear" "is" "rough" "+")
triple7
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple8
((((((triple11 triple13) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple9
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple10
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple11
The mouse is blue.
("mouse" "is" "blue" "+")
triple12
The mouse is green.
("mouse" "is" "green" "+")
triple13
The mouse is rough.
("mouse" "is" "rough" "+")
triple14
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple15
The bear is big.
("bear" "is" "big" "+")
((triple7) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
((triple14) -> (rule6 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
((triple11 triple13) -> (rule2 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
((((triple11 triple13) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
((triple13 ((triple11 triple13) -> (rule2 % int2))) -> (rule3 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2