The bald eagle chases the cow. The bald eagle eats the dog. The bald eagle is cold. The bear chases the cow. The cow chases the dog. The cow is big. The dog needs the bear. If something chases the cow and it needs the bald eagle then the bald eagle eats the bear. If something eats the dog then the dog eats the bear. If something eats the bear then the bear eats the cow.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bear chases the cow.
("bear" "chases" "cow" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is big.
("cow" "is" "big" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
If something chases the cow and it needs the bald eagle then the bald eagle eats the bear.
((("something" "chases" "cow" "+") ("something" "needs" "bald eagle" "+")) -> ("bald eagle" "eats" "bear" "+"))
If something eats the dog then the dog eats the bear.
((("something" "eats" "dog" "+")) -> ("dog" "eats" "bear" "+"))
If something eats the bear then the bear eats the cow.
((("something" "eats" "bear" "+")) -> ("bear" "eats" "cow" "+"))
The bald eagle eats the dog.
True
1
proof
[(triple2)]
("bald eagle" "eats" "dog" "+")
triple2
The bald eagle does not chase the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "cow" "-")
triple1
The dog eats the bear.
True
2
proof
[(((triple2) -> rule2))]
("dog" "eats" "bear" "+")
((triple2) -> (rule2 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog does not eat the bear.
False
2
inv-proof
[(((triple2) -> rule2))]
("dog" "eats" "bear" "-")
((triple2) -> (rule2 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The bear eats the cow.
True
3
proof
[(((((triple2) -> rule2)) -> rule3))]
("bear" "eats" "cow" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2
The bear does not eat the cow.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule3))]
("bear" "eats" "cow" "-")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2
The bald eagle does not eat the bear.
Unknown
inv-rconc
[@1: The bald eagle eats the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "bear" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
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 chases the bald eagle.
Unknown
random
[@0: The bear chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bald eagle" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle is cold.[(triple3)] The bear chases the cow.[(triple4)] The cow chases the dog.[(triple5)] The cow is big.[(triple6)] The dog needs the bear.[(triple7)] @1: The dog eats the bear.[(((triple2) -> rule2))] @2: The bear eats the cow.[(((((triple2) -> rule2)) -> rule3))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bear chases the cow.
("bear" "chases" "cow" "+")
triple4
The cow chases the dog.
("cow" "chases" "dog" "+")
triple5
The cow is big.
("cow" "is" "big" "+")
triple6
The dog needs the bear.
("dog" "needs" "bear" "+")
triple7
The dog eats the bear.
("dog" "eats" "bear" "+")
((triple2) -> (rule2 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The bear eats the cow.
("bear" "eats" "cow" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2