The bald eagle chases the bear. The bald eagle chases the squirrel. The bald eagle needs the squirrel. The bear eats the mouse. The mouse eats the squirrel. The squirrel eats the mouse. The squirrel is young. If the bear is kind and the bear needs the squirrel then the squirrel eats the mouse. If someone chases the bear then the bear needs the squirrel. If someone needs the squirrel and the squirrel eats the bear then the squirrel chases the bear. If someone needs the squirrel then the squirrel eats the bear. If someone eats the bear then they need the mouse. If someone chases the bear then they are young.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If the bear is kind and the bear needs the squirrel then the squirrel eats the mouse.
((("bear" "is" "kind" "+") ("bear" "needs" "squirrel" "+")) -> ("squirrel" "eats" "mouse" "+"))
If someone chases the bear then the bear needs the squirrel.
((("someone" "chases" "bear" "+")) -> ("bear" "needs" "squirrel" "+"))
If someone needs the squirrel and the squirrel eats the bear then the squirrel chases the bear.
((("someone" "needs" "squirrel" "+") ("squirrel" "eats" "bear" "+")) -> ("squirrel" "chases" "bear" "+"))
If someone needs the squirrel then the squirrel eats the bear.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "eats" "bear" "+"))
If someone eats the bear then they need the mouse.
((("someone" "eats" "bear" "+")) -> ("someone" "needs" "mouse" "+"))
If someone chases the bear then they are young.
((("someone" "chases" "bear" "+")) -> ("someone" "is" "young" "+"))
The bald eagle needs the squirrel.
True
1
proof
[(triple3)]
("bald eagle" "needs" "squirrel" "+")
triple3
The bald eagle does not chase the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "bear" "-")
triple1
The bald eagle is young.
True
2
proof
[(((triple1) -> rule6))]
("bald eagle" "is" "young" "+")
((triple1) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The squirrel does not eat the bear.
False
2
inv-proof
[(((triple3) -> rule4) OR ((((triple1) -> rule2)) -> rule4))]
("squirrel" "eats" "bear" "-")
((triple3) -> (rule4 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
The squirrel needs the mouse.
True
3
proof
[(((((triple3) -> rule4)) -> rule5) OR ((((((triple1) -> rule2)) -> rule4)) -> rule5))]
("squirrel" "needs" "mouse" "+")
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
((((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
The squirrel does not chase the bear.
False
4
inv-proof
[(((triple3 ((triple3) -> rule4)) -> rule3) OR ((((triple1) -> rule2) ((triple3) -> rule4)) -> rule3) OR ((triple3 ((((triple1) -> rule2)) -> rule4)) -> rule3) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule4)) -> rule3))]
("squirrel" "chases" "bear" "-")
((triple3 ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
((((triple1) -> (rule2 % int3)) ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
((triple3 ((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
The mouse does not need the mouse.
Unknown
inv-rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "needs" "mouse" "-")
The bald eagle needs the mouse.
Unknown
rconc
[@1: The bald eagle needs the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "needs" "mouse" "+")
The bear is not young.
Unknown
inv-rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "young" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
The bear does not eat the squirrel.
Unknown
inv-random
[@0: The bear eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "squirrel" "-")
The bear chases the mouse.
Unknown
random
[@0: The bear chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "mouse" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The bear eats the mouse.[(triple4)] The mouse eats the squirrel.[(triple5)] The squirrel eats the mouse.[(triple6)] The squirrel is young.[(triple7 OR ((((triple3 ((triple3) -> rule4)) -> rule3)) -> rule6) OR ((((((triple1) -> rule2) ((triple3) -> rule4)) -> rule3)) -> rule6) OR ((((triple3 ((((triple1) -> rule2)) -> rule4)) -> rule3)) -> rule6) OR ((((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule4)) -> rule3)) -> rule6))] @1: The bald eagle is young.[(((triple1) -> rule6))] The bear needs the squirrel.[(((triple1) -> rule2) OR ((((triple3 ((triple3) -> rule4)) -> rule3)) -> rule2))] The squirrel eats the bear.[(((triple3) -> rule4) OR ((((triple1) -> rule2)) -> rule4))] @2: The squirrel chases the bear.[(((triple3 ((triple3) -> rule4)) -> rule3) OR ((((triple1) -> rule2) ((triple3) -> rule4)) -> rule3) OR ((triple3 ((((triple1) -> rule2)) -> rule4)) -> rule3) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule4)) -> rule3))] The squirrel needs the mouse.[(((((triple3) -> rule4)) -> rule5) OR ((((((triple1) -> rule2)) -> rule4)) -> rule5))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple3
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple4
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple5
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple6
The squirrel is young.
("squirrel" "is" "young" "+")
triple7
((((triple3 ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int3
((((((triple1) -> (rule2 % int4)) ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int4
((((triple3 ((((triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int4
((((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int4
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple1) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
((triple1) -> (rule2 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
((((triple3 ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int3
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
((triple3) -> (rule4 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
((triple3 ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
((((triple1) -> (rule2 % int3)) ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
((triple3 ((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
((((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3