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