The bald eagle chases the cat. The bald eagle is rough. The bear chases the bald eagle. The bear needs the cat. The cat likes the bear. The dog is kind. The dog needs the bald eagle. If someone chases the bald eagle and they are big then the bald eagle needs the dog. If someone needs the cat and the cat is green then they like the dog. If someone chases the bald eagle then the bald eagle is red. If someone needs the bald eagle then the bald eagle needs the cat. If someone is kind then they need the bear. If someone chases the cat and the cat likes the dog then they like the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
If someone chases the bald eagle and they are big then the bald eagle needs the dog.
((("someone" "chases" "bald eagle" "+") ("someone" "is" "big" "+")) -> ("bald eagle" "needs" "dog" "+"))
If someone needs the cat and the cat is green then they like the dog.
((("someone" "needs" "cat" "+") ("cat" "is" "green" "+")) -> ("someone" "likes" "dog" "+"))
If someone chases the bald eagle then the bald eagle is red.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If someone needs the bald eagle then the bald eagle needs the cat.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "cat" "+"))
If someone is kind then they need the bear.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "bear" "+"))
If someone chases the cat and the cat likes the dog then they like the cat.
((("someone" "chases" "cat" "+") ("cat" "likes" "dog" "+")) -> ("someone" "likes" "cat" "+"))
The bald eagle is rough.
True
1
proof
[(triple2)]
("bald eagle" "is" "rough" "+")
triple2
The bear does not chase the bald eagle.
False
1
inv-proof
[(triple3)]
("bear" "chases" "bald eagle" "-")
triple3
The dog needs the bear.
True
2
proof
[(((triple6) -> rule5))]
("dog" "needs" "bear" "+")
((triple6) -> (rule5 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog does not need the bear.
False
2
inv-proof
[(((triple6) -> rule5))]
("dog" "needs" "bear" "-")
((triple6) -> (rule5 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The bear does not like the dog.
Unknown
inv-rconc
[@1: The bear likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "dog" "-")
The cat needs the bear.
Unknown
rconc
[@1: The cat needs the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "needs" "bear" "+")
The dog does not like the bear.
Unknown
inv-random
[@0: The dog likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bear" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is rough.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear needs the cat.[(triple4)] The cat likes the bear.[(triple5)] The dog is kind.[(triple6)] The dog needs the bald eagle.[(triple7)] @1: The bald eagle is red.[(((triple3) -> rule3))] The bald eagle needs the cat.[(((triple7) -> rule4))] The dog needs the bear.[(((triple6) -> rule5))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple3
The bear needs the cat.
("bear" "needs" "cat" "+")
triple4
The cat likes the bear.
("cat" "likes" "bear" "+")
triple5
The dog is kind.
("dog" "is" "kind" "+")
triple6
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple7
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple3) -> (rule3 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
((triple7) -> (rule4 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
((triple6) -> (rule5 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1