The bald eagle is red. The bald eagle visits the cow. The bear is rough. The bear likes the squirrel. The bear needs the bald eagle. The bear needs the squirrel. The cow is young. The cow needs the bald eagle. The squirrel is big. The squirrel is green. The squirrel likes the bald eagle. The squirrel likes the cow. The squirrel needs the bald eagle. The squirrel needs the cow. The squirrel visits the cow. If something is red then it needs the bear.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If something is red then it needs the bear.
((("something" "is" "red" "+")) -> ("something" "needs" "bear" "+"))
The bear is rough.
True
1
proof
[(triple3)]
("bear" "is" "rough" "+")
triple3
The bear does not like the squirrel.
False
1
inv-proof
[(triple4)]
("bear" "likes" "squirrel" "-")
triple4
The bald eagle needs the bear.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "needs" "bear" "+")
((triple1) -> (rule1 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle does not need the bear.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "needs" "bear" "-")
((triple1) -> (rule1 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The cow does not need the bear.
Unknown
inv-rconc
[@1: The cow needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "needs" "bear" "-")
The squirrel needs the bear.
Unknown
rconc
[@1: The squirrel needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "needs" "bear" "+")
The bear does not visit the squirrel.
Unknown
inv-random
[@0: The bear visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "squirrel" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle visits the cow.[(triple2)] The bear is rough.[(triple3)] The bear likes the squirrel.[(triple4)] The bear needs the bald eagle.[(triple5)] The bear needs the squirrel.[(triple6)] The cow is young.[(triple7)] The cow needs the bald eagle.[(triple8)] The squirrel is big.[(triple9)] The squirrel is green.[(triple10)] The squirrel likes the bald eagle.[(triple11)] The squirrel likes the cow.[(triple12)] The squirrel needs the bald eagle.[(triple13)] The squirrel needs the cow.[(triple14)] The squirrel visits the cow.[(triple15)] @1: The bald eagle needs the bear.[(((triple1) -> rule1))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple4
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple5
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple6
The cow is young.
("cow" "is" "young" "+")
triple7
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple8
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple11
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple12
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple13
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple14
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple15
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
((triple1) -> (rule1 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1