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