The bald eagle eats the bear. The bald eagle likes the mouse. The bald eagle needs the mouse. The bear eats the mouse. The bear is big. The bear likes the squirrel. The bear needs the mouse. The mouse eats the bald eagle. The mouse eats the bear. The mouse eats the squirrel. The mouse is red. The mouse likes the bear. The mouse needs the bear. The mouse needs the squirrel. The squirrel eats the mouse. The squirrel likes the mouse. Red people are big. If someone is big and they eat the bear then the bear needs the bald eagle.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is big.
("bear" "is" "big" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
Red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is big and they eat the bear then the bear needs the bald eagle.
((("someone" "is" "big" "+") ("someone" "eats" "bear" "+")) -> ("bear" "needs" "bald eagle" "+"))
The bald eagle likes the mouse.
True
1
proof
[(triple2)]
("bald eagle" "likes" "mouse" "+")
triple2
The mouse does not like the bear.
False
1
inv-proof
[(triple12)]
("mouse" "likes" "bear" "-")
triple12
The mouse is big.
True
2
proof
[(((triple11) -> rule1))]
("mouse" "is" "big" "+")
((triple11) -> (rule1 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is not big.
False
2
inv-proof
[(((triple11) -> rule1))]
("mouse" "is" "big" "-")
((triple11) -> (rule1 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The bear needs the bald eagle.
True
4
proof
[(((((triple11) -> rule1) triple9) -> rule2))]
("bear" "needs" "bald eagle" "+")
((((triple11) -> (rule1 % int2)) triple9) -> (rule2 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The bear does not need the bald eagle.
False
4
inv-proof
[(((((triple11) -> rule1) triple9) -> rule2))]
("bear" "needs" "bald eagle" "-")
((((triple11) -> (rule1 % int2)) triple9) -> (rule2 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The bald eagle is not big.
Unknown
inv-rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "big" "-")
The squirrel is big.
Unknown
rconc
[@1: The squirrel is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "big" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The mouse likes the bald eagle.
Unknown
random
[@0: The mouse likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "bald eagle" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bear eats the mouse.[(triple4)] The bear is big.[(triple5)] The bear likes the squirrel.[(triple6)] The bear needs the mouse.[(triple7)] The mouse eats the bald eagle.[(triple8)] The mouse eats the bear.[(triple9)] The mouse eats the squirrel.[(triple10)] The mouse is red.[(triple11)] The mouse likes the bear.[(triple12)] The mouse needs the bear.[(triple13)] The mouse needs the squirrel.[(triple14)] The squirrel eats the mouse.[(triple15)] The squirrel likes the mouse.[(triple16)] @1: The mouse is big.[(((triple11) -> rule1))] @2: The bear needs the bald eagle.[(((((triple11) -> rule1) triple9) -> rule2))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple3
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple4
The bear is big.
("bear" "is" "big" "+")
triple5
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple6
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple7
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple8
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple9
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple10
The mouse is red.
("mouse" "is" "red" "+")
triple11
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple12
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple13
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple14
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple15
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple16
The mouse is big.
("mouse" "is" "big" "+")
((triple11) -> (rule1 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
((((triple11) -> (rule1 % int2)) triple9) -> (rule2 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2