The bald eagle eats the bear. The bald eagle is blue. The bald eagle is green. The bald eagle is rough. The bald eagle is young. The bald eagle likes the bear. The bald eagle likes the lion. The bald eagle visits the bear. The bald eagle visits the dog. The bald eagle visits the lion. The bear eats the bald eagle. The bear likes the lion. The dog likes the bald eagle. The dog likes the lion. The lion is rough. If something eats the lion then it is rough. If something is blue and red then it eats the bear. If something is red and it eats the bald eagle then the bald eagle is blue.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The lion is rough.
("lion" "is" "rough" "+")
If something eats the lion then it is rough.
((("something" "eats" "lion" "+")) -> ("something" "is" "rough" "+"))
If something is blue and red then it eats the bear.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "eats" "bear" "+"))
If something is red and it eats the bald eagle then the bald eagle is blue.
((("something" "is" "red" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
The bear likes the lion.
True
1
proof
[(triple12)]
("bear" "likes" "lion" "+")
triple12
The bald eagle does not visit the lion.
False
1
inv-proof
[(triple10)]
("bald eagle" "visits" "lion" "-")
triple10
The lion does not eat the bear.
Unknown
inv-rconc
[@1: The lion eats the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "eats" "bear" "-")
The bear visits the lion.
Unknown
random
[@0: The bear visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "lion" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle likes the bear.[(triple6)] The bald eagle likes the lion.[(triple7)] The bald eagle visits the bear.[(triple8)] The bald eagle visits the dog.[(triple9)] The bald eagle visits the lion.[(triple10)] The bear eats the bald eagle.[(triple11)] The bear likes the lion.[(triple12)] The dog likes the bald eagle.[(triple13)] The dog likes the lion.[(triple14)] The lion is rough.[(triple15)]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple5
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple6
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple7
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple8
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple9
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple10
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple11
The bear likes the lion.
("bear" "likes" "lion" "+")
triple12
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple13
The dog likes the lion.
("dog" "likes" "lion" "+")
triple14
The lion is rough.
("lion" "is" "rough" "+")
triple15