The bear needs the cow. The cow likes the squirrel. The squirrel needs the bear. If someone likes the squirrel then they are young. If someone needs the bear then the bear likes the cow. If the bear is red and the bear likes the cow then the cow is rough. If someone needs the squirrel and the squirrel likes the bear then they visit the bear. If someone likes the squirrel then the squirrel needs the cow. If someone is green and they like the squirrel then the squirrel needs the cow.
The bear needs the cow.
("bear" "needs" "cow" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If someone likes the squirrel then they are young.
((("someone" "likes" "squirrel" "+")) -> ("someone" "is" "young" "+"))
If someone needs the bear then the bear likes the cow.
((("someone" "needs" "bear" "+")) -> ("bear" "likes" "cow" "+"))
If the bear is red and the bear likes the cow then the cow is rough.
((("bear" "is" "red" "+") ("bear" "likes" "cow" "+")) -> ("cow" "is" "rough" "+"))
If someone needs the squirrel and the squirrel likes the bear then they visit the bear.
((("someone" "needs" "squirrel" "+") ("squirrel" "likes" "bear" "+")) -> ("someone" "visits" "bear" "+"))
If someone likes the squirrel then the squirrel needs the cow.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "needs" "cow" "+"))
If someone is green and they like the squirrel then the squirrel needs the cow.
((("someone" "is" "green" "+") ("someone" "likes" "squirrel" "+")) -> ("squirrel" "needs" "cow" "+"))
The squirrel needs the bear.
True
1
proof
[(triple3)]
("squirrel" "needs" "bear" "+")
triple3
The squirrel does not need the bear.
False
1
inv-proof
[(triple3)]
("squirrel" "needs" "bear" "-")
triple3
The bear does not visit the bear.
Unknown
inv-rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "visits" "bear" "-")
The cow needs the squirrel.
Unknown
random
[@0: The cow needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "squirrel" "+")
@0: The bear needs the cow.[(triple1)] The cow likes the squirrel.[(triple2)] The squirrel needs the bear.[(triple3)] @1: The bear likes the cow.[(((triple3) -> rule2))] The cow is young.[(((triple2) -> rule1))] The squirrel needs the cow.[(((triple2) -> rule5))]
The bear needs the cow.
("bear" "needs" "cow" "+")
triple1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple2
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple3
The bear likes the cow.
("bear" "likes" "cow" "+")
((triple3) -> (rule2 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((triple2) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
((triple2) -> (rule5 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1