The bald eagle is big. The bald eagle needs the bear. The bald eagle needs the mouse. The bald eagle sees the bear. The bald eagle sees the mouse. The bear eats the cow. The cow is green. The cow needs the bald eagle. The mouse is red. The mouse is round. The mouse needs the cow. The mouse sees the bald eagle. If someone sees the bald eagle and the bald eagle needs the mouse then the mouse sees the bear. If someone sees the cow and they need the mouse then they need the bald eagle. If someone sees the cow and they eat the cow then the cow is big. If someone eats the mouse then they see the cow. If someone sees the bald eagle and they see the bear then the bear eats the mouse. If someone is red and big then they see the bear.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The cow is green.
("cow" "is" "green" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If someone sees the bald eagle and the bald eagle needs the mouse then the mouse sees the bear.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "needs" "mouse" "+")) -> ("mouse" "sees" "bear" "+"))
If someone sees the cow and they need the mouse then they need the bald eagle.
((("someone" "sees" "cow" "+") ("someone" "needs" "mouse" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone sees the cow and they eat the cow then the cow is big.
((("someone" "sees" "cow" "+") ("someone" "eats" "cow" "+")) -> ("cow" "is" "big" "+"))
If someone eats the mouse then they see the cow.
((("someone" "eats" "mouse" "+")) -> ("someone" "sees" "cow" "+"))
If someone sees the bald eagle and they see the bear then the bear eats the mouse.
((("someone" "sees" "bald eagle" "+") ("someone" "sees" "bear" "+")) -> ("bear" "eats" "mouse" "+"))
If someone is red and big then they see the bear.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "sees" "bear" "+"))
The bald eagle needs the bear.
True
1
proof
[(triple2)]
("bald eagle" "needs" "bear" "+")
triple2
The bald eagle does not see the bear.
False
1
inv-proof
[(triple4)]
("bald eagle" "sees" "bear" "-")
triple4
The mouse sees the bear.
True
3
proof
[(((triple12 triple3) -> rule1))]
("mouse" "sees" "bear" "+")
((triple12 triple3) -> (rule1 % int1))
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int1
The mouse does not see the bear.
False
3
inv-proof
[(((triple12 triple3) -> rule1))]
("mouse" "sees" "bear" "-")
((triple12 triple3) -> (rule1 % int1))
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int1
The bear eats the mouse.
True
5
proof
[(((triple12 ((triple12 triple3) -> rule1)) -> rule5))]
("bear" "eats" "mouse" "+")
((triple12 ((triple12 triple3) -> (rule1 % int2))) -> (rule5 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int2
The bear does not eat the mouse.
False
5
inv-proof
[(((triple12 ((triple12 triple3) -> rule1)) -> rule5))]
("bear" "eats" "mouse" "-")
((triple12 ((triple12 triple3) -> (rule1 % int2))) -> (rule5 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int2
The bear sees the cow.
True
6
proof
[(((((triple12 ((triple12 triple3) -> rule1)) -> rule5)) -> rule4))]
("bear" "sees" "cow" "+")
((((triple12 ((triple12 triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int2
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int3
The bear does not see the cow.
False
6
inv-proof
[(((((triple12 ((triple12 triple3) -> rule1)) -> rule5)) -> rule4))]
("bear" "sees" "cow" "-")
((((triple12 ((triple12 triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int2
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int3
The bald eagle does not see the cow.
Unknown
inv-rconc
[@1: The bald eagle sees the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "sees" "cow" "-")
The bear sees the bear.
Unknown
rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "sees" "bear" "+")
The mouse does not see the cow.
Unknown
inv-rconc
[@1: The mouse sees the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "sees" "cow" "-")
The mouse needs the bald eagle.
Unknown
rconc
[@1: The mouse needs the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "needs" "bald eagle" "+")
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The bear eats the bald eagle.
Unknown
random
[@0: The bear eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bald eagle" "+")
The mouse does not eat the cow.
Unknown
inv-random
[@0: The mouse eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "cow" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle needs the bear.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bald eagle sees the bear.[(triple4)] The bald eagle sees the mouse.[(triple5)] The bear eats the cow.[(triple6)] The cow is green.[(triple7)] The cow needs the bald eagle.[(triple8)] The mouse is red.[(triple9)] The mouse is round.[(triple10)] The mouse needs the cow.[(triple11)] The mouse sees the bald eagle.[(triple12)] @1: The mouse sees the bear.[(((triple12 triple3) -> rule1))] @2: The bear eats the mouse.[(((triple12 ((triple12 triple3) -> rule1)) -> rule5))] @3: The bear sees the cow.[(((((triple12 ((triple12 triple3) -> rule1)) -> rule5)) -> rule4))] @4: The cow is big.[(((((((triple12 ((triple12 triple3) -> rule1)) -> rule5)) -> rule4) triple6) -> rule3))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple4
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple5
The bear eats the cow.
("bear" "eats" "cow" "+")
triple6
The cow is green.
("cow" "is" "green" "+")
triple7
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple8
The mouse is red.
("mouse" "is" "red" "+")
triple9
The mouse is round.
("mouse" "is" "round" "+")
triple10
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple11
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple12
The mouse sees the bear.
("mouse" "sees" "bear" "+")
((triple12 triple3) -> (rule1 % int1))
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
((triple12 ((triple12 triple3) -> (rule1 % int2))) -> (rule5 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int2
The bear sees the cow.
("bear" "sees" "cow" "+")
((((triple12 ((triple12 triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int2
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int3
The cow is big.
("cow" "is" "big" "+")
((((((triple12 ((triple12 triple3) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple6) -> (rule3 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The bear sees the cow.
("bear" "sees" "cow" "+")
int2
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int3
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int4