The bald eagle chases the bear. The bald eagle does not eat the bear. The bald eagle is big. The bald eagle is not blue. The bald eagle is not cold. The bald eagle is not nice. The bald eagle is young. The bald eagle needs the bear. The bear chases the bald eagle. The bear eats the bald eagle. The bear is big. The bear is not cold. The bear is nice. The bear is young. The bear does not need the bald eagle. If something needs the bear and it chases the bald eagle then the bear is cold. If something is blue then it eats the bald eagle. If the bald eagle needs the bear and the bald eagle is blue then the bear needs the bald eagle. If something chases the bald eagle and it chases the bear then the bear does not need the bald eagle. If something chases the bear and it needs the bald eagle then it does not need the bear. If the bear chases the bald eagle and the bear needs the bald eagle then the bear is young. If the bear is cold then the bear eats the bald eagle. If something needs the bear and it eats the bear then it is cold.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle does not eat the bear.
("bald eagle" "eats" "bear" "-")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is not cold.
("bear" "is" "cold" "-")
The bear is nice.
("bear" "is" "nice" "+")
The bear is young.
("bear" "is" "young" "+")
The bear does not need the bald eagle.
("bear" "needs" "bald eagle" "-")
If something needs the bear and it chases the bald eagle then the bear is cold.
((("something" "needs" "bear" "+") ("something" "chases" "bald eagle" "+")) -> ("bear" "is" "cold" "+"))
If something is blue then it eats the bald eagle.
((("something" "is" "blue" "+")) -> ("something" "eats" "bald eagle" "+"))
If the bald eagle needs the bear and the bald eagle is blue then the bear needs the bald eagle.
((("bald eagle" "needs" "bear" "+") ("bald eagle" "is" "blue" "+")) -> ("bear" "needs" "bald eagle" "+"))
If something chases the bald eagle and it chases the bear then the bear does not need the bald eagle.
((("something" "chases" "bald eagle" "+") ("something" "chases" "bear" "+")) -> ("bear" "needs" "bald eagle" "-"))
If something chases the bear and it needs the bald eagle then it does not need the bear.
((("something" "chases" "bear" "+") ("something" "needs" "bald eagle" "+")) -> ("something" "needs" "bear" "-"))
If the bear chases the bald eagle and the bear needs the bald eagle then the bear is young.
((("bear" "chases" "bald eagle" "+") ("bear" "needs" "bald eagle" "+")) -> ("bear" "is" "young" "+"))
If the bear is cold then the bear eats the bald eagle.
((("bear" "is" "cold" "+")) -> ("bear" "eats" "bald eagle" "+"))
If something needs the bear and it eats the bear then it is cold.
((("something" "needs" "bear" "+") ("something" "eats" "bear" "+")) -> ("something" "is" "cold" "+"))
The bald eagle is young.
True
1
proof
[(triple7)]
("bald eagle" "is" "young" "+")
triple7
The bald eagle does not need the bear.
False
1
inv-proof
[(triple8)]
("bald eagle" "needs" "bear" "-")
triple8
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle does not eat the bear.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is not blue.[(triple4)] The bald eagle is not cold.[(triple5)] The bald eagle is not nice.[(triple6)] The bald eagle is young.[(triple7)] The bald eagle needs the bear.[(triple8)] The bear chases the bald eagle.[(triple9)] The bear does not need the bald eagle.[(triple15)] The bear eats the bald eagle.[(triple10)] The bear is big.[(triple11)] The bear is nice.[(triple13)] The bear is not cold.[(triple12)] The bear is young.[(triple14)]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle does not eat the bear.
("bald eagle" "eats" "bear" "-")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple4
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple5
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple6
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple7
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple8
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple9
The bear does not need the bald eagle.
("bear" "needs" "bald eagle" "-")
triple15
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple10
The bear is big.
("bear" "is" "big" "+")
triple11
The bear is nice.
("bear" "is" "nice" "+")
triple13
The bear is not cold.
("bear" "is" "cold" "-")
triple12
The bear is young.
("bear" "is" "young" "+")
triple14