The bald eagle needs the bear. The bear sees the tiger. The cow is young. The tiger needs the bald eagle. If the bald eagle sees the cow then the cow needs the bald eagle. If something is green and it eats the bear then it eats the tiger. If something needs the bear then it sees the cow. If something needs the bald eagle and it is not red then the bald eagle needs the bear. If something is red then it is big. If the bear does not see the bald eagle then the bald eagle needs the cow.
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The cow is young.
("cow" "is" "young" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If the bald eagle sees the cow then the cow needs the bald eagle.
((("bald eagle" "sees" "cow" "+")) -> ("cow" "needs" "bald eagle" "+"))
If something is green and it eats the bear then it eats the tiger.
((("something" "is" "green" "+") ("something" "eats" "bear" "+")) -> ("something" "eats" "tiger" "+"))
If something needs the bear then it sees the cow.
((("something" "needs" "bear" "+")) -> ("something" "sees" "cow" "+"))
If something needs the bald eagle and it is not red then the bald eagle needs the bear.
((("something" "needs" "bald eagle" "+") ("something" "is" "red" "~")) -> ("bald eagle" "needs" "bear" "+"))
If something is red then it is big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
If the bear does not see the bald eagle then the bald eagle needs the cow.
((("bear" "sees" "bald eagle" "~")) -> ("bald eagle" "needs" "cow" "+"))
The tiger needs the bald eagle.
True
1
proof
[(triple4)]
("tiger" "needs" "bald eagle" "+")
triple4
The tiger does not need the bald eagle.
False
1
inv-proof
[(triple4)]
("tiger" "needs" "bald eagle" "-")
triple4
The bald eagle sees the cow.
True
2
proof
[(((triple1) -> rule3))]
("bald eagle" "sees" "cow" "+")
((triple1) -> (rule3 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The bald eagle does not see the cow.
False
2
inv-proof
[(((triple1) -> rule3))]
("bald eagle" "sees" "cow" "-")
((triple1) -> (rule3 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The cow needs the bald eagle.
True
3
proof
[(((((triple1) -> rule3)) -> rule1))]
("cow" "needs" "bald eagle" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int2
The cow does not need the bald eagle.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule1))]
("cow" "needs" "bald eagle" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int2
The bald eagle does not eat the tiger.
Unknown
inv-rconc
[@1: The bald eagle eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "tiger" "-")
The tiger eats the tiger.
Unknown
rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "eats" "tiger" "+")
The cow is not big.
Unknown
inv-rconc
[@1: The cow is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "big" "-")
The bear needs the bald eagle.
Unknown
random
[@0: The bear needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bald eagle" "+")
The tiger does not eat the bear.
Unknown
inv-random
[@0: The tiger eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "bear" "-")
The bear eats the cow.
Unknown
random
[@0: The bear eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "cow" "+")
@0: The bald eagle needs the bear.[(triple1)] The bear sees the tiger.[(triple2)] The cow is young.[(triple3)] The tiger needs the bald eagle.[(triple4)] @1: The bald eagle sees the cow.[(((triple1) -> rule3))] @2: The cow needs the bald eagle.[(((((triple1) -> rule3)) -> rule1))]
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple1
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple2
The cow is young.
("cow" "is" "young" "+")
triple3
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple4
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
((triple1) -> (rule3 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int2