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