The bald eagle eats the bear. The bald eagle eats the dog. The bald eagle is cold. The bear chases the bald eagle. The bear is cold. The bear is nice. The bear likes the bald eagle. The dog eats the bear. The dog is nice. The dog likes the bear. If something chases the bear and the bear eats the dog then the bear is green. If the dog is nice and the dog does not chase the bear then the dog chases the bald eagle. If something eats the bear and the bear eats the bald eagle then the bald eagle likes the bear. If something chases the dog and it is green then the dog is not green. If something chases the dog then the dog is round. If the bear likes the dog and the dog does not like the bear then the bear chases the dog. If something chases the bald eagle then it likes the dog. If something is green and it does not chase the bald eagle then it likes the dog.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
If something chases the bear and the bear eats the dog then the bear is green.
((("something" "chases" "bear" "+") ("bear" "eats" "dog" "+")) -> ("bear" "is" "green" "+"))
If the dog is nice and the dog does not chase the bear then the dog chases the bald eagle.
((("dog" "is" "nice" "+") ("dog" "chases" "bear" "~")) -> ("dog" "chases" "bald eagle" "+"))
If something eats the bear and the bear eats the bald eagle then the bald eagle likes the bear.
((("something" "eats" "bear" "+") ("bear" "eats" "bald eagle" "+")) -> ("bald eagle" "likes" "bear" "+"))
If something chases the dog and it is green then the dog is not green.
((("something" "chases" "dog" "+") ("something" "is" "green" "+")) -> ("dog" "is" "green" "-"))
If something chases the dog then the dog is round.
((("something" "chases" "dog" "+")) -> ("dog" "is" "round" "+"))
If the bear likes the dog and the dog does not like the bear then the bear chases the dog.
((("bear" "likes" "dog" "+") ("dog" "likes" "bear" "~")) -> ("bear" "chases" "dog" "+"))
If something chases the bald eagle then it likes the dog.
((("something" "chases" "bald eagle" "+")) -> ("something" "likes" "dog" "+"))
If something is green and it does not chase the bald eagle then it likes the dog.
((("something" "is" "green" "+") ("something" "chases" "bald eagle" "~")) -> ("something" "likes" "dog" "+"))
The bear is nice.
True
1
proof
[(triple6)]
("bear" "is" "nice" "+")
triple6
The dog does not eat the bear.
False
1
inv-proof
[(triple8)]
("dog" "eats" "bear" "-")
triple8
The bear likes the dog.
True
2
proof
[(((triple4) -> rule7))]
("bear" "likes" "dog" "+")
((triple4) -> (rule7 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear does not like the dog.
False
2
inv-proof
[(((triple4) -> rule7))]
("bear" "likes" "dog" "-")
((triple4) -> (rule7 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bald eagle does not like the bear.
Unknown
inv-rconc
[@1: The bald eagle likes the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "likes" "bear" "-")
The dog chases the bald eagle.
Unknown
rconc
[@1: The dog chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "chases" "bald eagle" "+")
The dog is not young.
Unknown
inv-random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "-")
The bald eagle chases the dog.
Unknown
random
[@0: The bald eagle chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "dog" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle is cold.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear is cold.[(triple5)] The bear is nice.[(triple6)] The bear likes the bald eagle.[(triple7)] The dog eats the bear.[(triple8)] The dog is nice.[(triple9)] The dog likes the bear.[(triple10)] @1: The bear likes the dog.[(((triple4) -> rule7))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple4
The bear is cold.
("bear" "is" "cold" "+")
triple5
The bear is nice.
("bear" "is" "nice" "+")
triple6
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple7
The dog eats the bear.
("dog" "eats" "bear" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog likes the bear.
("dog" "likes" "bear" "+")
triple10
The bear likes the dog.
("bear" "likes" "dog" "+")
((triple4) -> (rule7 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1