The bald eagle chases the bear. The bald eagle eats the bear. The bald eagle eats the cow. The bald eagle visits the bear. The bald eagle does not visit the cow. The bear chases the lion. The bear eats the cow. The cow chases the bear. The cow eats the bald eagle. The cow is not big. The cow is round. The cow does not visit the bald eagle. The lion does not chase the cow. The lion eats the cow. The lion does not visit the bear. The lion does not visit the cow. If the cow chases the bald eagle and the bald eagle is not round then the bald eagle chases the bear. If someone eats the bald eagle then the bald eagle eats the lion. If the bear chases the bald eagle and the bald eagle does not chase the bear then the bald eagle does not eat the lion.
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 visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is not big.
("cow" "is" "big" "-")
The cow is round.
("cow" "is" "round" "+")
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
The lion does not chase the cow.
("lion" "chases" "cow" "-")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion does not visit the bear.
("lion" "visits" "bear" "-")
The lion does not visit the cow.
("lion" "visits" "cow" "-")
If the cow chases the bald eagle and the bald eagle is not round then the bald eagle chases the bear.
((("cow" "chases" "bald eagle" "+") ("bald eagle" "is" "round" "~")) -> ("bald eagle" "chases" "bear" "+"))
If someone eats the bald eagle then the bald eagle eats the lion.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "+"))
If the bear chases the bald eagle and the bald eagle does not chase the bear then the bald eagle does not eat the lion.
((("bear" "chases" "bald eagle" "+") ("bald eagle" "chases" "bear" "~")) -> ("bald eagle" "eats" "lion" "-"))
The bald eagle eats the bear.
True
1
proof
[(triple2)]
("bald eagle" "eats" "bear" "+")
triple2
The cow does not eat the bald eagle.
False
1
inv-proof
[(triple9)]
("cow" "eats" "bald eagle" "-")
triple9
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The lion visits the bald eagle.
Unknown
random
[@0: The lion visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "bald eagle" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle does not visit the cow.[(triple5)] The bald eagle eats the bear.[(triple2)] The bald eagle eats the cow.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear chases the lion.[(triple6)] The bear eats the cow.[(triple7)] The cow chases the bear.[(triple8)] The cow does not visit the bald eagle.[(triple12)] The cow eats the bald eagle.[(triple9)] The cow is not big.[(triple10)] The cow is round.[(triple11)] The lion does not chase the cow.[(triple13)] The lion does not visit the bear.[(triple15)] The lion does not visit the cow.[(triple16)] The lion eats the cow.[(triple14)] @1: The bald eagle eats the lion.[(((triple9) -> rule2))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle does not visit the cow.
("bald eagle" "visits" "cow" "-")
triple5
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 visits the bear.
("bald eagle" "visits" "bear" "+")
triple4
The bear chases the lion.
("bear" "chases" "lion" "+")
triple6
The bear eats the cow.
("bear" "eats" "cow" "+")
triple7
The cow chases the bear.
("cow" "chases" "bear" "+")
triple8
The cow does not visit the bald eagle.
("cow" "visits" "bald eagle" "-")
triple12
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple9
The cow is not big.
("cow" "is" "big" "-")
triple10
The cow is round.
("cow" "is" "round" "+")
triple11
The lion does not chase the cow.
("lion" "chases" "cow" "-")
triple13
The lion does not visit the bear.
("lion" "visits" "bear" "-")
triple15
The lion does not visit the cow.
("lion" "visits" "cow" "-")
triple16
The lion eats the cow.
("lion" "eats" "cow" "+")
triple14
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
((triple9) -> (rule2 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1