The bald eagle likes the bear. The bald eagle likes the cow. The bear chases the bald eagle. The bear is nice. The bear is rough. The bear likes the cow. The cow chases the bald eagle. The cow chases the bear. The cow likes the bear. The cow needs the bear. If something is young then it chases the cow. If something chases the cow and the cow chases the bear then it needs the bear. If the cow chases the bear then the cow likes the bear. If something is young then it chases the bear. If something likes the cow then it chases the cow. If something likes the cow and it is cold then the cow chases the bear. If the bald eagle likes the bear and the bald eagle chases the bear then the bald eagle needs the cow. If the bald eagle needs the bear and the bear likes the cow then the cow needs the bald eagle.
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
If something is young then it chases the cow.
((("something" "is" "young" "+")) -> ("something" "chases" "cow" "+"))
If something chases the cow and the cow chases the bear then it needs the bear.
((("something" "chases" "cow" "+") ("cow" "chases" "bear" "+")) -> ("something" "needs" "bear" "+"))
If the cow chases the bear then the cow likes the bear.
((("cow" "chases" "bear" "+")) -> ("cow" "likes" "bear" "+"))
If something is young then it chases the bear.
((("something" "is" "young" "+")) -> ("something" "chases" "bear" "+"))
If something likes the cow then it chases the cow.
((("something" "likes" "cow" "+")) -> ("something" "chases" "cow" "+"))
If something likes the cow and it is cold then the cow chases the bear.
((("something" "likes" "cow" "+") ("something" "is" "cold" "+")) -> ("cow" "chases" "bear" "+"))
If the bald eagle likes the bear and the bald eagle chases the bear then the bald eagle needs the cow.
((("bald eagle" "likes" "bear" "+") ("bald eagle" "chases" "bear" "+")) -> ("bald eagle" "needs" "cow" "+"))
If the bald eagle needs the bear and the bear likes the cow then the cow needs the bald eagle.
((("bald eagle" "needs" "bear" "+") ("bear" "likes" "cow" "+")) -> ("cow" "needs" "bald eagle" "+"))
The bear is rough.
True
1
proof
[(triple5)]
("bear" "is" "rough" "+")
triple5
The bear does not chase the bald eagle.
False
1
inv-proof
[(triple3)]
("bear" "chases" "bald eagle" "-")
triple3
The bald eagle chases the cow.
True
2
proof
[(((triple2) -> rule5))]
("bald eagle" "chases" "cow" "+")
((triple2) -> (rule5 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle does not chase the cow.
False
2
inv-proof
[(((triple2) -> rule5))]
("bald eagle" "chases" "cow" "-")
((triple2) -> (rule5 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bear needs the bear.
True
4
proof
[(((((triple6) -> rule5) triple8) -> rule2))]
("bear" "needs" "bear" "+")
((((triple6) -> (rule5 % int2)) triple8) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear chases the cow.
("bear" "chases" "cow" "+")
int2
The bear does not need the bear.
False
4
inv-proof
[(((((triple6) -> rule5) triple8) -> rule2))]
("bear" "needs" "bear" "-")
((((triple6) -> (rule5 % int2)) triple8) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear chases the cow.
("bear" "chases" "cow" "+")
int2
The cow needs the bald eagle.
True
6
proof
[(((((((triple2) -> rule5) triple8) -> rule2) triple6) -> rule8))]
("cow" "needs" "bald eagle" "+")
((((((triple2) -> (rule5 % int3)) triple8) -> (rule2 % int2)) triple6) -> (rule8 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int3
The cow does not need the bald eagle.
False
6
inv-proof
[(((((((triple2) -> rule5) triple8) -> rule2) triple6) -> rule8))]
("cow" "needs" "bald eagle" "-")
((((((triple2) -> (rule5 % int3)) triple8) -> (rule2 % int2)) triple6) -> (rule8 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int3
The bald eagle does not chase the bear.
Unknown
inv-rconc
[@1: The bald eagle chases the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "chases" "bear" "-")
The bear chases the bear.
Unknown
rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "chases" "bear" "+")
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "cow" "-")
The bald eagle needs the cow.
Unknown
rconc
[@2: The bald eagle needs the cow.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("bald eagle" "needs" "cow" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
@0: The bald eagle likes the bear.[(triple1)] The bald eagle likes the cow.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear is nice.[(triple4)] The bear is rough.[(triple5)] The bear likes the cow.[(triple6)] The cow chases the bald eagle.[(triple7)] The cow chases the bear.[(triple8)] The cow likes the bear.[(triple9 OR ((triple8) -> rule3))] The cow needs the bear.[(triple10)] @1: The bald eagle chases the cow.[(((triple2) -> rule5))] The bear chases the cow.[(((triple6) -> rule5))] @2: The bald eagle needs the bear.[(((((triple2) -> rule5) triple8) -> rule2))] The bear needs the bear.[(((((triple6) -> rule5) triple8) -> rule2))] @3: The cow needs the bald eagle.[(((((((triple2) -> rule5) triple8) -> rule2) triple6) -> rule8))]
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear likes the cow.
("bear" "likes" "cow" "+")
triple6
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple7
The cow chases the bear.
("cow" "chases" "bear" "+")
triple8
The cow likes the bear.
("cow" "likes" "bear" "+")
triple9
((triple8) -> (rule3 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The cow needs the bear.
("cow" "needs" "bear" "+")
triple10
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
((triple2) -> (rule5 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bear chases the cow.
("bear" "chases" "cow" "+")
((triple6) -> (rule5 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
((((triple2) -> (rule5 % int2)) triple8) -> (rule2 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
((((triple6) -> (rule5 % int2)) triple8) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear chases the cow.
("bear" "chases" "cow" "+")
int2
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
((((((triple2) -> (rule5 % int3)) triple8) -> (rule2 % int2)) triple6) -> (rule8 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int3