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