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