The bald eagle chases the bear. The bald eagle is not rough. The bear chases the dog. The bear is blue. The bear is green. The bear likes the cat. The bear does not need the dog. The cat does not chase the bear. The cat chases the dog. The cat likes the bear. The cat needs the bald eagle. The dog likes the bear. If someone needs the dog and they are green then the dog chases the bald eagle. If someone needs the cat then they do not like the bear. If someone is green and they chase the bear then they chase the bald eagle.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear does not need the dog.
("bear" "needs" "dog" "-")
The cat does not chase the bear.
("cat" "chases" "bear" "-")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
If someone needs the dog and they are green then the dog chases the bald eagle.
((("someone" "needs" "dog" "+") ("someone" "is" "green" "+")) -> ("dog" "chases" "bald eagle" "+"))
If someone needs the cat then they do not like the bear.
((("someone" "needs" "cat" "+")) -> ("someone" "likes" "bear" "-"))
If someone is green and they chase the bear then they chase the bald eagle.
((("someone" "is" "green" "+") ("someone" "chases" "bear" "+")) -> ("someone" "chases" "bald eagle" "+"))
The cat likes the bear.
True
1
proof
[(triple10)]
("cat" "likes" "bear" "+")
triple10
The bald eagle does not chase the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "bear" "-")
triple1
The dog does not chase the bald eagle.
Unknown
inv-rconc
[@1: The dog chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "bald eagle" "-")
The bald eagle needs the bear.
Unknown
random
[@0: The bald eagle needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bear" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is not rough.[(triple2)] The bear chases the dog.[(triple3)] The bear does not need the dog.[(triple7)] The bear is blue.[(triple4)] The bear is green.[(triple5)] The bear likes the cat.[(triple6)] The cat chases the dog.[(triple9)] The cat does not chase the bear.[(triple8)] The cat likes the bear.[(triple10)] The cat needs the bald eagle.[(triple11)] The dog likes the bear.[(triple12)]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple2
The bear chases the dog.
("bear" "chases" "dog" "+")
triple3
The bear does not need the dog.
("bear" "needs" "dog" "-")
triple7
The bear is blue.
("bear" "is" "blue" "+")
triple4
The bear is green.
("bear" "is" "green" "+")
triple5
The bear likes the cat.
("bear" "likes" "cat" "+")
triple6
The cat chases the dog.
("cat" "chases" "dog" "+")
triple9
The cat does not chase the bear.
("cat" "chases" "bear" "-")
triple8
The cat likes the bear.
("cat" "likes" "bear" "+")
triple10
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple11
The dog likes the bear.
("dog" "likes" "bear" "+")
triple12