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