The bald eagle chases the bear. The bald eagle eats the bear. The bald eagle is kind. The bald eagle likes the bear. The bear chases the bald eagle. The bear is big. The bear is blue. The bear is rough. The bear is young. The bear likes the bald eagle. If the bear is kind and the bear chases the bald eagle then the bear eats the bald eagle. If something is kind then it likes the bear. If something eats the bald eagle and the bald eagle eats the bear then it likes the bald eagle. If something is rough then it eats the bear. If something chases the bear and the bear eats the bald eagle then it is young. If the bald eagle eats the bear then the bald eagle likes the bear. If something chases the bald eagle and the bald eagle is kind then it likes the bear. If the bear likes the bald eagle then the bald eagle is big.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
If the bear is kind and the bear chases the bald eagle then the bear eats the bald eagle.
((("bear" "is" "kind" "+") ("bear" "chases" "bald eagle" "+")) -> ("bear" "eats" "bald eagle" "+"))
If something is kind then it likes the bear.
((("something" "is" "kind" "+")) -> ("something" "likes" "bear" "+"))
If something eats the bald eagle and the bald eagle eats the bear then it likes the bald eagle.
((("something" "eats" "bald eagle" "+") ("bald eagle" "eats" "bear" "+")) -> ("something" "likes" "bald eagle" "+"))
If something is rough then it eats the bear.
((("something" "is" "rough" "+")) -> ("something" "eats" "bear" "+"))
If something chases the bear and the bear eats the bald eagle then it is young.
((("something" "chases" "bear" "+") ("bear" "eats" "bald eagle" "+")) -> ("something" "is" "young" "+"))
If the bald eagle eats the bear then the bald eagle likes the bear.
((("bald eagle" "eats" "bear" "+")) -> ("bald eagle" "likes" "bear" "+"))
If something chases the bald eagle and the bald eagle is kind then it likes the bear.
((("something" "chases" "bald eagle" "+") ("bald eagle" "is" "kind" "+")) -> ("something" "likes" "bear" "+"))
If the bear likes the bald eagle then the bald eagle is big.
((("bear" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
The bear chases the bald eagle.
True
1
proof
[(triple5)]
("bear" "chases" "bald eagle" "+")
triple5
The bear is not big.
False
1
inv-proof
[(triple6)]
("bear" "is" "big" "-")
triple6
The bear eats the bear.
True
2
proof
[(((triple8) -> rule4))]
("bear" "eats" "bear" "+")
((triple8) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bald eagle is not big.
False
2
inv-proof
[(((triple10) -> rule8))]
("bald eagle" "is" "big" "-")
((triple10) -> (rule8 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bear does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bear eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "eats" "bald eagle" "-")
The bald eagle likes the bald eagle.
Unknown
rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle likes the bear.[(triple4 OR ((triple2) -> rule6) OR ((triple3) -> rule2))] The bear chases the bald eagle.[(triple5)] The bear is big.[(triple6)] The bear is blue.[(triple7)] The bear is rough.[(triple8)] The bear is young.[(triple9)] The bear likes the bald eagle.[(triple10)] @1: The bald eagle is big.[(((triple10) -> rule8))] The bear eats the bear.[(((triple8) -> rule4))] The bear likes the bear.[(((triple5 triple3) -> rule7))]
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 is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple4
((triple2) -> (rule6 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
((triple3) -> (rule2 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple5
The bear is big.
("bear" "is" "big" "+")
triple6
The bear is blue.
("bear" "is" "blue" "+")
triple7
The bear is rough.
("bear" "is" "rough" "+")
triple8
The bear is young.
("bear" "is" "young" "+")
triple9
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple10
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple10) -> (rule8 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple8) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple5 triple3) -> (rule7 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1