The bald eagle is nice. The bear likes the bald eagle. The dog needs the bald eagle. If the bald eagle does not like the bear and the bald eagle does not like the dog then the dog eats the bald eagle. If the bald eagle eats the bear then the bear does not eat the dog. If the bald eagle is nice then the bald eagle is not cold. If someone is cold then they need the bear. If someone eats the bear and the bear does not eat the dog then the dog does not like the bear. If someone likes the bear then the bear needs the bald eagle. If someone needs the bald eagle then they like the bald eagle. If someone likes the bear then the bear eats the bald eagle.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
If the bald eagle does not like the bear and the bald eagle does not like the dog then the dog eats the bald eagle.
((("bald eagle" "likes" "bear" "~") ("bald eagle" "likes" "dog" "~")) -> ("dog" "eats" "bald eagle" "+"))
If the bald eagle eats the bear then the bear does not eat the dog.
((("bald eagle" "eats" "bear" "+")) -> ("bear" "eats" "dog" "-"))
If the bald eagle is nice then the bald eagle is not cold.
((("bald eagle" "is" "nice" "+")) -> ("bald eagle" "is" "cold" "-"))
If someone is cold then they need the bear.
((("someone" "is" "cold" "+")) -> ("someone" "needs" "bear" "+"))
If someone eats the bear and the bear does not eat the dog then the dog does not like the bear.
((("someone" "eats" "bear" "+") ("bear" "eats" "dog" "~")) -> ("dog" "likes" "bear" "-"))
If someone likes the bear then the bear needs the bald eagle.
((("someone" "likes" "bear" "+")) -> ("bear" "needs" "bald eagle" "+"))
If someone needs the bald eagle then they like the bald eagle.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone likes the bear then the bear eats the bald eagle.
((("someone" "likes" "bear" "+")) -> ("bear" "eats" "bald eagle" "+"))
The dog needs the bald eagle.
True
1
proof
[(triple3)]
("dog" "needs" "bald eagle" "+")
triple3
The bald eagle is not nice.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "nice" "-")
triple1
The dog does not need the bear.
Unknown
inv-rconc
[@1: The dog needs the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "needs" "bear" "-")
The bald eagle likes the bear.
Unknown
random
[@0: The bald eagle likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bear" "+")
@0: The bald eagle is nice.[(triple1)] The bear likes the bald eagle.[(triple2)] The dog needs the bald eagle.[(triple3)] @1: The bald eagle is not cold.[(((triple1) -> rule3))] The dog likes the bald eagle.[(((triple3) -> rule7))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple2
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple3
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
((triple1) -> (rule3 % int1))
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
((triple3) -> (rule7 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1