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