The bald eagle does not need the cat. The bald eagle does not need the squirrel. The cat does not eat the squirrel. The cat is big. The cat needs the bald eagle. The cat needs the cow. The cow is nice. The cow sees the cat. The cow sees the squirrel. The squirrel eats the bald eagle. If something sees the bald eagle then it eats the squirrel.
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
The cat does not eat the squirrel.
("cat" "eats" "squirrel" "-")
The cat is big.
("cat" "is" "big" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
If something sees the bald eagle then it eats the squirrel.
((("something" "sees" "bald eagle" "+")) -> ("something" "eats" "squirrel" "+"))
The cat needs the cow.
True
1
proof
[(triple6)]
("cat" "needs" "cow" "+")
triple6
The squirrel does not eat the bald eagle.
False
1
inv-proof
[(triple10)]
("squirrel" "eats" "bald eagle" "-")
triple10
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
@0: The bald eagle does not need the cat.[(triple1)] The bald eagle does not need the squirrel.[(triple2)] The cat does not eat the squirrel.[(triple3)] The cat is big.[(triple4)] The cat needs the bald eagle.[(triple5)] The cat needs the cow.[(triple6)] The cow is nice.[(triple7)] The cow sees the cat.[(triple8)] The cow sees the squirrel.[(triple9)] The squirrel eats the bald eagle.[(triple10)]
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
triple1
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
triple2
The cat does not eat the squirrel.
("cat" "eats" "squirrel" "-")
triple3
The cat is big.
("cat" "is" "big" "+")
triple4
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple5
The cat needs the cow.
("cat" "needs" "cow" "+")
triple6
The cow is nice.
("cow" "is" "nice" "+")
triple7
The cow sees the cat.
("cow" "sees" "cat" "+")
triple8
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple9
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple10