The bald eagle is blue. The bald eagle is cold. The bald eagle does not like the bear. The bald eagle needs the lion. The bear chases the lion. The bear is cold. The bear is kind. The bear needs the bald eagle. The lion is not cold. The lion needs the bald eagle. All kind people are big. If someone is big then they need the bear.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The lion is not cold.
("lion" "is" "cold" "-")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
All kind people are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they need the bear.
((("someone" "is" "big" "+")) -> ("someone" "needs" "bear" "+"))
The lion needs the bald eagle.
True
1
proof
[(triple10)]
("lion" "needs" "bald eagle" "+")
triple10
The lion is cold.
False
1
inv-proof
[(triple9)]
("lion" "is" "cold" "+")
triple9
The bear is big.
True
2
proof
[(((triple7) -> rule1))]
("bear" "is" "big" "+")
((triple7) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is not big.
False
2
inv-proof
[(((triple7) -> rule1))]
("bear" "is" "big" "-")
((triple7) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear needs the bear.
True
3
proof
[(((((triple7) -> rule1)) -> rule2))]
("bear" "needs" "bear" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear does not need the bear.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule2))]
("bear" "needs" "bear" "-")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The lion does not need the bear.
Unknown
inv-rconc
[@2: The lion needs the bear.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("lion" "needs" "bear" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "big" "+")
The lion is not big.
Unknown
inv-rconc
[@1: The lion is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "big" "-")
The lion likes the bear.
Unknown
random
[@0: The lion likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bear" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The bald eagle does not like the bear.[(triple3)] The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle needs the lion.[(triple4)] The bear chases the lion.[(triple5)] The bear is cold.[(triple6)] The bear is kind.[(triple7)] The bear needs the bald eagle.[(triple8)] The lion is not cold.[(triple9)] The lion needs the bald eagle.[(triple10)] @1: The bear is big.[(((triple7) -> rule1))] @2: The bear needs the bear.[(((((triple7) -> rule1)) -> rule2))]
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
triple3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple4
The bear chases the lion.
("bear" "chases" "lion" "+")
triple5
The bear is cold.
("bear" "is" "cold" "+")
triple6
The bear is kind.
("bear" "is" "kind" "+")
triple7
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple8
The lion is not cold.
("lion" "is" "cold" "-")
triple9
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple10
The bear is big.
("bear" "is" "big" "+")
((triple7) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2