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