The bald eagle is kind. The bald eagle needs the cow. The bear is big. The bear is kind. The bear likes the bald eagle. The bear likes the cow. The cow chases the bear. The cow needs the bald eagle. The tiger chases the bald eagle. The tiger chases the cow. If something likes the bear and the bear chases the cow then the cow is not big. If something chases the bald eagle and the bald eagle needs the cow then the cow does not chase the tiger. If something likes the bear then it chases the cow. If something likes the cow then the cow likes the bald eagle. If something needs the bear then it needs the tiger. If something chases the bear then the bear is cold.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
If something likes the bear and the bear chases the cow then the cow is not big.
((("something" "likes" "bear" "+") ("bear" "chases" "cow" "+")) -> ("cow" "is" "big" "-"))
If something chases the bald eagle and the bald eagle needs the cow then the cow does not chase the tiger.
((("something" "chases" "bald eagle" "+") ("bald eagle" "needs" "cow" "+")) -> ("cow" "chases" "tiger" "-"))
If something likes the bear then it chases the cow.
((("something" "likes" "bear" "+")) -> ("something" "chases" "cow" "+"))
If something likes the cow then the cow likes the bald eagle.
((("something" "likes" "cow" "+")) -> ("cow" "likes" "bald eagle" "+"))
If something needs the bear then it needs the tiger.
((("something" "needs" "bear" "+")) -> ("something" "needs" "tiger" "+"))
If something chases the bear then the bear is cold.
((("something" "chases" "bear" "+")) -> ("bear" "is" "cold" "+"))
The bald eagle needs the cow.
True
1
proof
[(triple2)]
("bald eagle" "needs" "cow" "+")
triple2
The cow does not chase the bear.
False
1
inv-proof
[(triple7)]
("cow" "chases" "bear" "-")
triple7
The cow does not chase the tiger.
True
3
proof
[(((triple9 triple2) -> rule2))]
("cow" "chases" "tiger" "-")
((triple9 triple2) -> (rule2 % int1))
The cow does not chase the tiger.
("cow" "chases" "tiger" "-")
int1
The cow chases the tiger.
False
3
inv-proof
[(((triple9 triple2) -> rule2))]
("cow" "chases" "tiger" "+")
((triple9 triple2) -> (rule2 % int1))
The cow does not chase the tiger.
("cow" "chases" "tiger" "-")
int1
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "chases" "cow" "-")
The bald eagle chases the cow.
Unknown
rconc
[@1: The bald eagle chases the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "chases" "cow" "+")
The cow is not kind.
Unknown
inv-random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "-")
The tiger likes the cow.
Unknown
random
[@0: The tiger likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "cow" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle needs the cow.[(triple2)] The bear is big.[(triple3)] The bear is kind.[(triple4)] The bear likes the bald eagle.[(triple5)] The bear likes the cow.[(triple6)] The cow chases the bear.[(triple7)] The cow needs the bald eagle.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger chases the cow.[(triple10)] @1: The bear is cold.[(((triple7) -> rule6))] The cow does not chase the tiger.[(((triple9 triple2) -> rule2))] The cow likes the bald eagle.[(((triple6) -> rule4))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple5
The bear likes the cow.
("bear" "likes" "cow" "+")
triple6
The cow chases the bear.
("cow" "chases" "bear" "+")
triple7
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple8
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple9
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple10
The bear is cold.
("bear" "is" "cold" "+")
((triple7) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The cow does not chase the tiger.
("cow" "chases" "tiger" "-")
((triple9 triple2) -> (rule2 % int1))
The cow does not chase the tiger.
("cow" "chases" "tiger" "-")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
((triple6) -> (rule4 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1