The bald eagle eats the cow. The bald eagle is big. The bald eagle sees the bear. The bear eats the bald eagle. The bear eats the cat. The bear eats the cow. The bear is blue. The bear sees the cow. The cat is big. The cat is green. The cat needs the cow. The cow is rough. The cow needs the bear. The cow sees the bald eagle. The cow sees the cat. If someone sees the cat then they need the cow. If someone eats the cat then the cat eats the cow. If someone sees the bear then the bear eats the bald eagle.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is green.
("cat" "is" "green" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
If someone sees the cat then they need the cow.
((("someone" "sees" "cat" "+")) -> ("someone" "needs" "cow" "+"))
If someone eats the cat then the cat eats the cow.
((("someone" "eats" "cat" "+")) -> ("cat" "eats" "cow" "+"))
If someone sees the bear then the bear eats the bald eagle.
((("someone" "sees" "bear" "+")) -> ("bear" "eats" "bald eagle" "+"))
The cow is rough.
True
1
proof
[(triple12)]
("cow" "is" "rough" "+")
triple12
The bear does not eat the cat.
False
1
inv-proof
[(triple5)]
("bear" "eats" "cat" "-")
triple5
The bald eagle does not need the cow.
Unknown
inv-rconc
[@1: The bald eagle needs the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "cow" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear eats the bald eagle.[(triple4 OR ((triple3) -> rule3))] The bear eats the cat.[(triple5)] The bear eats the cow.[(triple6)] The bear is blue.[(triple7)] The bear sees the cow.[(triple8)] The cat is big.[(triple9)] The cat is green.[(triple10)] The cat needs the cow.[(triple11)] The cow is rough.[(triple12)] The cow needs the bear.[(triple13)] The cow sees the bald eagle.[(triple14)] The cow sees the cat.[(triple15)] @1: The cat eats the cow.[(((triple5) -> rule2))] The cow needs the cow.[(((triple15) -> rule1))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple3
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple4
((triple3) -> (rule3 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
triple5
The bear eats the cow.
("bear" "eats" "cow" "+")
triple6
The bear is blue.
("bear" "is" "blue" "+")
triple7
The bear sees the cow.
("bear" "sees" "cow" "+")
triple8
The cat is big.
("cat" "is" "big" "+")
triple9
The cat is green.
("cat" "is" "green" "+")
triple10
The cat needs the cow.
("cat" "needs" "cow" "+")
triple11
The cow is rough.
("cow" "is" "rough" "+")
triple12
The cow needs the bear.
("cow" "needs" "bear" "+")
triple13
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple14
The cow sees the cat.
("cow" "sees" "cat" "+")
triple15
The cat eats the cow.
("cat" "eats" "cow" "+")
((triple5) -> (rule2 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
((triple15) -> (rule1 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1