The bald eagle is not blue. The bald eagle likes the cat. The bald eagle does not visit the cat. The cat is blue. The cat does not visit the bald eagle. The lion is big. The lion is green. The lion is red. The lion likes the tiger. The lion does not need the bald eagle. The lion needs the cat. The lion visits the bald eagle. The tiger is not big. The tiger is green. The tiger likes the lion. If someone visits the lion then the lion is round. If someone visits the tiger and they do not visit the lion then the lion is blue.
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
The cat is blue.
("cat" "is" "blue" "+")
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
The lion is big.
("lion" "is" "big" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion does not need the bald eagle.
("lion" "needs" "bald eagle" "-")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The tiger is not big.
("tiger" "is" "big" "-")
The tiger is green.
("tiger" "is" "green" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
If someone visits the lion then the lion is round.
((("someone" "visits" "lion" "+")) -> ("lion" "is" "round" "+"))
If someone visits the tiger and they do not visit the lion then the lion is blue.
((("someone" "visits" "tiger" "+") ("someone" "visits" "lion" "~")) -> ("lion" "is" "blue" "+"))
The bald eagle likes the cat.
True
1
proof
[(triple2)]
("bald eagle" "likes" "cat" "+")
triple2
The bald eagle visits the cat.
False
1
inv-proof
[(triple3)]
("bald eagle" "visits" "cat" "+")
triple3
The lion is not round.
Unknown
inv-rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "round" "-")
The lion needs the tiger.
Unknown
random
[@0: The lion needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "tiger" "+")
@0: The bald eagle does not visit the cat.[(triple3)] The bald eagle is not blue.[(triple1)] The bald eagle likes the cat.[(triple2)] The cat does not visit the bald eagle.[(triple5)] The cat is blue.[(triple4)] The lion does not need the bald eagle.[(triple10)] The lion is big.[(triple6)] The lion is green.[(triple7)] The lion is red.[(triple8)] The lion likes the tiger.[(triple9)] The lion needs the cat.[(triple11)] The lion visits the bald eagle.[(triple12)] The tiger is green.[(triple14)] The tiger is not big.[(triple13)] The tiger likes the lion.[(triple15)]
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
triple3
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple2
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
triple5
The cat is blue.
("cat" "is" "blue" "+")
triple4
The lion does not need the bald eagle.
("lion" "needs" "bald eagle" "-")
triple10
The lion is big.
("lion" "is" "big" "+")
triple6
The lion is green.
("lion" "is" "green" "+")
triple7
The lion is red.
("lion" "is" "red" "+")
triple8
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple9
The lion needs the cat.
("lion" "needs" "cat" "+")
triple11
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple12
The tiger is green.
("tiger" "is" "green" "+")
triple14
The tiger is not big.
("tiger" "is" "big" "-")
triple13
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple15