The bald eagle likes the lion. The bear is kind. The cow eats the bald eagle. The lion likes the cow. If something is kind then it eats the bear. If something is green then it eats the lion. If something chases the cow and it is young then the cow eats the bear. If something eats the cow and it is young then it likes the bald eagle. If something eats the cow and the cow eats the lion then the lion likes the bear. If something eats the bear then it eats the cow. If something eats the cow then it eats the lion. If something eats the bald eagle then it likes the lion.
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bear is kind.
("bear" "is" "kind" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
If something is kind then it eats the bear.
((("something" "is" "kind" "+")) -> ("something" "eats" "bear" "+"))
If something is green then it eats the lion.
((("something" "is" "green" "+")) -> ("something" "eats" "lion" "+"))
If something chases the cow and it is young then the cow eats the bear.
((("something" "chases" "cow" "+") ("something" "is" "young" "+")) -> ("cow" "eats" "bear" "+"))
If something eats the cow and it is young then it likes the bald eagle.
((("something" "eats" "cow" "+") ("something" "is" "young" "+")) -> ("something" "likes" "bald eagle" "+"))
If something eats the cow and the cow eats the lion then the lion likes the bear.
((("something" "eats" "cow" "+") ("cow" "eats" "lion" "+")) -> ("lion" "likes" "bear" "+"))
If something eats the bear then it eats the cow.
((("something" "eats" "bear" "+")) -> ("something" "eats" "cow" "+"))
If something eats the cow then it eats the lion.
((("something" "eats" "cow" "+")) -> ("something" "eats" "lion" "+"))
If something eats the bald eagle then it likes the lion.
((("something" "eats" "bald eagle" "+")) -> ("something" "likes" "lion" "+"))
The cow eats the bald eagle.
True
1
proof
[(triple3)]
("cow" "eats" "bald eagle" "+")
triple3
The bear is not kind.
False
1
inv-proof
[(triple2)]
("bear" "is" "kind" "-")
triple2
The cow likes the lion.
True
2
proof
[(((triple3) -> rule8))]
("cow" "likes" "lion" "+")
((triple3) -> (rule8 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The cow does not like the lion.
False
2
inv-proof
[(((triple3) -> rule8))]
("cow" "likes" "lion" "-")
((triple3) -> (rule8 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The bear eats the cow.
True
3
proof
[(((((triple2) -> rule1)) -> rule6))]
("bear" "eats" "cow" "+")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear does not eat the cow.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule6))]
("bear" "eats" "cow" "-")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear eats the lion.
True
4
proof
[(((((((triple2) -> rule1)) -> rule6)) -> rule7))]
("bear" "eats" "lion" "+")
((((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear eats the cow.
("bear" "eats" "cow" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The bear does not eat the lion.
False
4
inv-proof
[(((((((triple2) -> rule1)) -> rule6)) -> rule7))]
("bear" "eats" "lion" "-")
((((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear eats the cow.
("bear" "eats" "cow" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The lion likes the bear.
Unknown
rconc
[@4: The lion likes the bear.[CWA. Example of deepest failure = (rule5 <- rule7 <- rule6 <- rule1 <- FAIL)]]
("lion" "likes" "bear" "+")
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 lion eats the lion.
Unknown
rconc
[@3: The lion eats the lion.[CWA. Example of deepest failure = (rule7 <- rule6 <- rule1 <- FAIL)]]
("lion" "eats" "lion" "+")
The cow does not chase the lion.
Unknown
inv-random
[@0: The cow chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "lion" "-")
The bald eagle chases the bear.
Unknown
random
[@0: The bald eagle chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bear" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The lion eats the bald eagle.
Unknown
random
[@0: The lion eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bald eagle" "+")
@0: The bald eagle likes the lion.[(triple1)] The bear is kind.[(triple2)] The cow eats the bald eagle.[(triple3)] The lion likes the cow.[(triple4)] @1: The bear eats the bear.[(((triple2) -> rule1))] The cow likes the lion.[(((triple3) -> rule8))] @2: The bear eats the cow.[(((((triple2) -> rule1)) -> rule6))] @3: The bear eats the lion.[(((((((triple2) -> rule1)) -> rule6)) -> rule7))]
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple3
The lion likes the cow.
("lion" "likes" "cow" "+")
triple4
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple2) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The cow likes the lion.
("cow" "likes" "lion" "+")
((triple3) -> (rule8 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The bear eats the cow.
("bear" "eats" "cow" "+")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear eats the lion.
("bear" "eats" "lion" "+")
((((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear eats the cow.
("bear" "eats" "cow" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3