The bald eagle chases the rabbit. The bald eagle eats the bear. The bald eagle is kind. The bald eagle needs the bear. The bear eats the lion. The bear is blue. The lion eats the bald eagle. The lion is big. The lion is blue. The lion needs the bald eagle. The lion needs the rabbit. The rabbit chases the lion. If something needs the lion and it is cold then it is big. If the bald eagle is kind and the bald eagle eats the bear then the bald eagle needs the lion. If the bald eagle needs the lion and the bald eagle is kind then the lion needs the bear. If something needs the rabbit and the rabbit is big then the rabbit is red. If something needs the bald eagle then it eats the rabbit. If something chases the lion and it eats the bald eagle then the lion chases the rabbit.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is blue.
("bear" "is" "blue" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
If something needs the lion and it is cold then it is big.
((("something" "needs" "lion" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If the bald eagle is kind and the bald eagle eats the bear then the bald eagle needs the lion.
((("bald eagle" "is" "kind" "+") ("bald eagle" "eats" "bear" "+")) -> ("bald eagle" "needs" "lion" "+"))
If the bald eagle needs the lion and the bald eagle is kind then the lion needs the bear.
((("bald eagle" "needs" "lion" "+") ("bald eagle" "is" "kind" "+")) -> ("lion" "needs" "bear" "+"))
If something needs the rabbit and the rabbit is big then the rabbit is red.
((("something" "needs" "rabbit" "+") ("rabbit" "is" "big" "+")) -> ("rabbit" "is" "red" "+"))
If something needs the bald eagle then it eats the rabbit.
((("something" "needs" "bald eagle" "+")) -> ("something" "eats" "rabbit" "+"))
If something chases the lion and it eats the bald eagle then the lion chases the rabbit.
((("something" "chases" "lion" "+") ("something" "eats" "bald eagle" "+")) -> ("lion" "chases" "rabbit" "+"))
The lion needs the bald eagle.
True
1
proof
[(triple10)]
("lion" "needs" "bald eagle" "+")
triple10
The rabbit does not chase the lion.
False
1
inv-proof
[(triple12)]
("rabbit" "chases" "lion" "-")
triple12
The lion eats the rabbit.
True
2
proof
[(((triple10) -> rule5))]
("lion" "eats" "rabbit" "+")
((triple10) -> (rule5 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The lion does not eat the rabbit.
False
2
inv-proof
[(((triple10) -> rule5))]
("lion" "eats" "rabbit" "-")
((triple10) -> (rule5 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The lion needs the bear.
True
5
proof
[(((((triple3 triple2) -> rule2) triple3) -> rule3))]
("lion" "needs" "bear" "+")
((((triple3 triple2) -> (rule2 % int2)) triple3) -> (rule3 % int1))
The lion needs the bear.
("lion" "needs" "bear" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
The lion does not need the bear.
False
5
inv-proof
[(((((triple3 triple2) -> rule2) triple3) -> rule3))]
("lion" "needs" "bear" "-")
((((triple3 triple2) -> (rule2 % int2)) triple3) -> (rule3 % int1))
The lion needs the bear.
("lion" "needs" "bear" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
The bear is not big.
Unknown
inv-rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "big" "-")
The rabbit is red.
Unknown
rconc
[@2: The rabbit is red.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("rabbit" "is" "red" "+")
The bald eagle does not eat the rabbit.
Unknown
inv-rconc
[@1: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "eats" "rabbit" "-")
The bear needs the rabbit.
Unknown
random
[@0: The bear needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "rabbit" "+")
The rabbit is not blue.
Unknown
inv-random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "-")
The bear chases the rabbit.
Unknown
random
[@0: The bear chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "rabbit" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle needs the bear.[(triple4)] The bear eats the lion.[(triple5)] The bear is blue.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion is big.[(triple8)] The lion is blue.[(triple9)] The lion needs the bald eagle.[(triple10)] The lion needs the rabbit.[(triple11)] The rabbit chases the lion.[(triple12)] @1: The bald eagle needs the lion.[(((triple3 triple2) -> rule2))] The lion eats the rabbit.[(((triple10) -> rule5))] @2: The lion needs the bear.[(((((triple3 triple2) -> rule2) triple3) -> rule3))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple4
The bear eats the lion.
("bear" "eats" "lion" "+")
triple5
The bear is blue.
("bear" "is" "blue" "+")
triple6
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple7
The lion is big.
("lion" "is" "big" "+")
triple8
The lion is blue.
("lion" "is" "blue" "+")
triple9
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple10
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple11
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple12
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
((triple3 triple2) -> (rule2 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
((triple10) -> (rule5 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The lion needs the bear.
("lion" "needs" "bear" "+")
((((triple3 triple2) -> (rule2 % int2)) triple3) -> (rule3 % int1))
The lion needs the bear.
("lion" "needs" "bear" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2