The bald eagle eats the cow. The bald eagle is not round. The bald eagle needs the cow. The bald eagle does not need the lion. The cow eats the lion. The cow needs the bald eagle. The lion is big. The lion needs the tiger. The tiger is not big. The tiger does not need the cow. If the bald eagle does not visit the tiger then the tiger does not visit the bald eagle. If something eats the tiger then it eats the bald eagle. If something eats the lion and it visits the lion then the lion is green. If the cow visits the lion and the cow needs the bald eagle then the cow does not eat the tiger. If something visits the tiger then it does not need the tiger. If something visits the bald eagle then the bald eagle does not eat the cow. If something visits the cow then it is not big. If something needs the lion then it is red.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle does not need the lion.
("bald eagle" "needs" "lion" "-")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The lion is big.
("lion" "is" "big" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The tiger is not big.
("tiger" "is" "big" "-")
The tiger does not need the cow.
("tiger" "needs" "cow" "-")
If the bald eagle does not visit the tiger then the tiger does not visit the bald eagle.
((("bald eagle" "visits" "tiger" "~")) -> ("tiger" "visits" "bald eagle" "-"))
If something eats the tiger then it eats the bald eagle.
((("something" "eats" "tiger" "+")) -> ("something" "eats" "bald eagle" "+"))
If something eats the lion and it visits the lion then the lion is green.
((("something" "eats" "lion" "+") ("something" "visits" "lion" "+")) -> ("lion" "is" "green" "+"))
If the cow visits the lion and the cow needs the bald eagle then the cow does not eat the tiger.
((("cow" "visits" "lion" "+") ("cow" "needs" "bald eagle" "+")) -> ("cow" "eats" "tiger" "-"))
If something visits the tiger then it does not need the tiger.
((("something" "visits" "tiger" "+")) -> ("something" "needs" "tiger" "-"))
If something visits the bald eagle then the bald eagle does not eat the cow.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "cow" "-"))
If something visits the cow then it is not big.
((("something" "visits" "cow" "+")) -> ("something" "is" "big" "-"))
If something needs the lion then it is red.
((("something" "needs" "lion" "+")) -> ("something" "is" "red" "+"))
The bald eagle is not round.
True
1
proof
[(triple2)]
("bald eagle" "is" "round" "-")
triple2
The cow does not eat the lion.
False
1
inv-proof
[(triple5)]
("cow" "eats" "lion" "-")
triple5
The lion is not red.
Unknown
inv-rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "is" "red" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The bald eagle does not need the lion.[(triple4)] The bald eagle eats the cow.[(triple1)] The bald eagle is not round.[(triple2)] The bald eagle needs the cow.[(triple3)] The cow eats the lion.[(triple5)] The cow needs the bald eagle.[(triple6)] The lion is big.[(triple7)] The lion needs the tiger.[(triple8)] The tiger does not need the cow.[(triple10)] The tiger is not big.[(triple9)]
The bald eagle does not need the lion.
("bald eagle" "needs" "lion" "-")
triple4
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple3
The cow eats the lion.
("cow" "eats" "lion" "+")
triple5
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple6
The lion is big.
("lion" "is" "big" "+")
triple7
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple8
The tiger does not need the cow.
("tiger" "needs" "cow" "-")
triple10
The tiger is not big.
("tiger" "is" "big" "-")
triple9