The bald eagle likes the bear. The bald eagle does not need the dog. The bear is young. The bear does not like the bald eagle. The bear likes the dog. The bear needs the bald eagle. The bear needs the dog. The bear visits the bald eagle. The dog likes the bald eagle. The dog likes the bear. The dog needs the bald eagle. The dog needs the bear. If someone is young and they do not like the bear then they are kind. If the bear needs the bald eagle and the bald eagle does not need the bear then the bald eagle visits the bear.
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
The bear is young.
("bear" "is" "young" "+")
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
If someone is young and they do not like the bear then they are kind.
((("someone" "is" "young" "+") ("someone" "likes" "bear" "~")) -> ("someone" "is" "kind" "+"))
If the bear needs the bald eagle and the bald eagle does not need the bear then the bald eagle visits the bear.
((("bear" "needs" "bald eagle" "+") ("bald eagle" "needs" "bear" "~")) -> ("bald eagle" "visits" "bear" "+"))
The dog needs the bald eagle.
True
1
proof
[(triple11)]
("dog" "needs" "bald eagle" "+")
triple11
The bear likes the bald eagle.
False
1
inv-proof
[(triple4)]
("bear" "likes" "bald eagle" "+")
triple4
The dog is not kind.
Unknown
inv-rconc
[@1: The dog is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "kind" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bald eagle does not need the dog.[(triple2)] The bald eagle likes the bear.[(triple1)] The bear does not like the bald eagle.[(triple4)] The bear is young.[(triple3)] The bear likes the dog.[(triple5)] The bear needs the bald eagle.[(triple6)] The bear needs the dog.[(triple7)] The bear visits the bald eagle.[(triple8)] The dog likes the bald eagle.[(triple9)] The dog likes the bear.[(triple10)] The dog needs the bald eagle.[(triple11)] The dog needs the bear.[(triple12)]
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
triple2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple1
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
triple4
The bear is young.
("bear" "is" "young" "+")
triple3
The bear likes the dog.
("bear" "likes" "dog" "+")
triple5
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple6
The bear needs the dog.
("bear" "needs" "dog" "+")
triple7
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple8
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple9
The dog likes the bear.
("dog" "likes" "bear" "+")
triple10
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple11
The dog needs the bear.
("dog" "needs" "bear" "+")
triple12