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