The bald eagle chases the lion. The bald eagle is green. The bald eagle is red. The bald eagle likes the lion. The bald eagle needs the bear. The bear likes the bald eagle. The lion chases the bear. The lion is young. The lion likes the bald eagle. The lion likes the bear. If the bear likes the bald eagle then the bear is green. If someone likes the lion then they chase the bald eagle. If someone is young and big then they like the bear. If the bear chases the bald eagle and the bald eagle is young then the bald eagle needs the bear. If someone chases the lion and they like the bear then they need the bear. If the lion chases the bald eagle then the lion chases the bear. If someone likes the bear and they like the bald eagle then the bear chases the lion. If someone likes the bald eagle then they need the bear.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
If the bear likes the bald eagle then the bear is green.
((("bear" "likes" "bald eagle" "+")) -> ("bear" "is" "green" "+"))
If someone likes the lion then they chase the bald eagle.
((("someone" "likes" "lion" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is young and big then they like the bear.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "likes" "bear" "+"))
If the bear chases the bald eagle and the bald eagle is young then the bald eagle needs the bear.
((("bear" "chases" "bald eagle" "+") ("bald eagle" "is" "young" "+")) -> ("bald eagle" "needs" "bear" "+"))
If someone chases the lion and they like the bear then they need the bear.
((("someone" "chases" "lion" "+") ("someone" "likes" "bear" "+")) -> ("someone" "needs" "bear" "+"))
If the lion chases the bald eagle then the lion chases the bear.
((("lion" "chases" "bald eagle" "+")) -> ("lion" "chases" "bear" "+"))
If someone likes the bear and they like the bald eagle then the bear chases the lion.
((("someone" "likes" "bear" "+") ("someone" "likes" "bald eagle" "+")) -> ("bear" "chases" "lion" "+"))
If someone likes the bald eagle then they need the bear.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "needs" "bear" "+"))
The bear likes the bald eagle.
True
1
proof
[(triple6)]
("bear" "likes" "bald eagle" "+")
triple6
The bald eagle does not like the lion.
False
1
inv-proof
[(triple4)]
("bald eagle" "likes" "lion" "-")
triple4
The bear does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bear chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "chases" "bald eagle" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle likes the lion.[(triple4)] The bald eagle needs the bear.[(triple5)] The bear likes the bald eagle.[(triple6)] The lion chases the bear.[(triple7)] The lion is young.[(triple8)] The lion likes the bald eagle.[(triple9)] The lion likes the bear.[(triple10)] @1: The bald eagle chases the bald eagle.[(((triple4) -> rule2))] The bear chases the lion.[(((triple10 triple9) -> rule7))] The bear is green.[(((triple6) -> rule1))] The bear needs the bear.[(((triple6) -> rule8))] The lion needs the bear.[(((triple9) -> rule8))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple4
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple5
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple6
The lion chases the bear.
("lion" "chases" "bear" "+")
triple7
The lion is young.
("lion" "is" "young" "+")
triple8
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple9
The lion likes the bear.
("lion" "likes" "bear" "+")
triple10
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple4) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
((triple10 triple9) -> (rule7 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear is green.
("bear" "is" "green" "+")
((triple6) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple6) -> (rule8 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The lion needs the bear.
("lion" "needs" "bear" "+")
((triple9) -> (rule8 % int1))
The lion needs the bear.
("lion" "needs" "bear" "+")
int1