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