The bald eagle eats the bear. The bald eagle is kind. The bald eagle likes the bear. The bald eagle needs the bear. The bald eagle needs the rabbit. The bear eats the bald eagle. The bear is nice. The dog likes the bald eagle. The dog needs the bald eagle. The rabbit eats the bald eagle. The rabbit does not need the bald eagle. The rabbit needs the bear. If someone is kind and they need the rabbit then the rabbit is not big. If the bear needs the dog then the dog needs the rabbit. If someone needs the bear and the bear does not eat the bald eagle then the bald eagle is not nice. If someone needs the bald eagle and they need the dog then the dog is cold. If someone eats the bear then they need the rabbit. If someone eats the bald eagle then the bald eagle eats the rabbit. If someone eats the bear then the bear does not like the dog. If someone likes the bald eagle then they need the bear.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
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 eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is nice.
("bear" "is" "nice" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
If someone is kind and they need the rabbit then the rabbit is not big.
((("someone" "is" "kind" "+") ("someone" "needs" "rabbit" "+")) -> ("rabbit" "is" "big" "-"))
If the bear needs the dog then the dog needs the rabbit.
((("bear" "needs" "dog" "+")) -> ("dog" "needs" "rabbit" "+"))
If someone needs the bear and the bear does not eat the bald eagle then the bald eagle is not nice.
((("someone" "needs" "bear" "+") ("bear" "eats" "bald eagle" "~")) -> ("bald eagle" "is" "nice" "-"))
If someone needs the bald eagle and they need the dog then the dog is cold.
((("someone" "needs" "bald eagle" "+") ("someone" "needs" "dog" "+")) -> ("dog" "is" "cold" "+"))
If someone eats the bear then they need the rabbit.
((("someone" "eats" "bear" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone eats the bald eagle then the bald eagle eats the rabbit.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
If someone eats the bear then the bear does not like the dog.
((("someone" "eats" "bear" "+")) -> ("bear" "likes" "dog" "-"))
If someone likes the bald eagle then they need the bear.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "needs" "bear" "+"))
The rabbit eats the bald eagle.
True
1
proof
[(triple10)]
("rabbit" "eats" "bald eagle" "+")
triple10
The rabbit does not need the bear.
False
1
inv-proof
[(triple12)]
("rabbit" "needs" "bear" "-")
triple12
The bald eagle eats the rabbit.
True
2
proof
[(((triple10) -> rule6) OR ((triple6) -> rule6))]
("bald eagle" "eats" "rabbit" "+")
((triple10) -> (rule6 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
((triple6) -> (rule6 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The dog does not need the bear.
False
2
inv-proof
[(((triple8) -> rule8))]
("dog" "needs" "bear" "-")
((triple8) -> (rule8 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog does not need the rabbit.
Unknown
inv-rconc
[@1: The dog needs the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "rabbit" "-")
The bear needs the rabbit.
Unknown
rconc
[@1: The bear needs the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "needs" "rabbit" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The rabbit needs the dog.
Unknown
random
[@0: The rabbit needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "dog" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle likes the bear.[(triple3)] The bald eagle needs the bear.[(triple4)] The bald eagle needs the rabbit.[(triple5 OR ((triple1) -> rule5))] The bear eats the bald eagle.[(triple6)] The bear is nice.[(triple7)] The dog likes the bald eagle.[(triple8)] The dog needs the bald eagle.[(triple9)] The rabbit does not need the bald eagle.[(triple11)] The rabbit eats the bald eagle.[(triple10)] The rabbit needs the bear.[(triple12)] @1: The bald eagle eats the rabbit.[(((triple10) -> rule6) OR ((triple6) -> rule6))] The bear does not like the dog.[(((triple1) -> rule7))] The dog needs the bear.[(((triple8) -> rule8))] The rabbit is not big.[(((triple2 triple5) -> rule1) OR ((triple2 ((triple1) -> rule5)) -> rule1))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
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
((triple1) -> (rule5 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple6
The bear is nice.
("bear" "is" "nice" "+")
triple7
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple8
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple9
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
triple11
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple10
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple12
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
((triple10) -> (rule6 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
((triple6) -> (rule6 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The bear does not like the dog.
("bear" "likes" "dog" "-")
((triple1) -> (rule7 % int1))
The bear does not like the dog.
("bear" "likes" "dog" "-")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
((triple8) -> (rule8 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The rabbit is not big.
("rabbit" "is" "big" "-")
((triple2 triple5) -> (rule1 % int1))
The rabbit is not big.
("rabbit" "is" "big" "-")
int1
((triple2 ((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is not big.
("rabbit" "is" "big" "-")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int2