The bald eagle chases the bear. The bald eagle chases the cat. The bald eagle chases the dog. The bald eagle does not eat the dog. The bald eagle is not nice. The bald eagle is not young. The bear needs the bald eagle. The bear needs the cat. The bear needs the dog. The cat is big. The cat is kind. The cat is rough. The dog eats the bald eagle. The dog is big. The dog does not need the bald eagle. The dog does not need the bear. If someone is rough then they chase the cat. If someone is rough then they need the cat.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle is not young.
("bald eagle" "is" "young" "-")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is rough.
("cat" "is" "rough" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is big.
("dog" "is" "big" "+")
The dog does not need the bald eagle.
("dog" "needs" "bald eagle" "-")
The dog does not need the bear.
("dog" "needs" "bear" "-")
If someone is rough then they chase the cat.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "cat" "+"))
If someone is rough then they need the cat.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "cat" "+"))
The cat is big.
True
1
proof
[(triple10)]
("cat" "is" "big" "+")
triple10
The bald eagle does not chase the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "bear" "-")
triple1
The cat chases the cat.
True
2
proof
[(((triple12) -> rule1))]
("cat" "chases" "cat" "+")
((triple12) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat does not chase the cat.
False
2
inv-proof
[(((triple12) -> rule1))]
("cat" "chases" "cat" "-")
((triple12) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The bald eagle does not need the cat.
Unknown
inv-rconc
[@1: The bald eagle needs the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "needs" "cat" "-")
The bear chases the cat.
Unknown
rconc
[@1: The bear chases the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "chases" "cat" "+")
The bald eagle does not need the dog.
Unknown
inv-random
[@0: The bald eagle needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "dog" "-")
The bear eats the bald eagle.
Unknown
random
[@0: The bear eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bald eagle" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the cat.[(triple2)] The bald eagle chases the dog.[(triple3)] The bald eagle does not eat the dog.[(triple4)] The bald eagle is not nice.[(triple5)] The bald eagle is not young.[(triple6)] The bear needs the bald eagle.[(triple7)] The bear needs the cat.[(triple8)] The bear needs the dog.[(triple9)] The cat is big.[(triple10)] The cat is kind.[(triple11)] The cat is rough.[(triple12)] The dog does not need the bald eagle.[(triple15)] The dog does not need the bear.[(triple16)] The dog eats the bald eagle.[(triple13)] The dog is big.[(triple14)] @1: The cat chases the cat.[(((triple12) -> rule1))] The cat needs the cat.[(((triple12) -> rule2))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple2
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple3
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
triple4
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple5
The bald eagle is not young.
("bald eagle" "is" "young" "-")
triple6
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple7
The bear needs the cat.
("bear" "needs" "cat" "+")
triple8
The bear needs the dog.
("bear" "needs" "dog" "+")
triple9
The cat is big.
("cat" "is" "big" "+")
triple10
The cat is kind.
("cat" "is" "kind" "+")
triple11
The cat is rough.
("cat" "is" "rough" "+")
triple12
The dog does not need the bald eagle.
("dog" "needs" "bald eagle" "-")
triple15
The dog does not need the bear.
("dog" "needs" "bear" "-")
triple16
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple13
The dog is big.
("dog" "is" "big" "+")
triple14
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple12) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple12) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1