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