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