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