The bald eagle eats the squirrel. The bear eats the squirrel. The bear is red. The bear likes the mouse. The bear needs the bald eagle. The mouse likes the squirrel. The squirrel eats the bear. The squirrel is young. The squirrel likes the bald eagle. The squirrel needs the bald eagle. The squirrel needs the bear. If the squirrel likes the bald eagle and the squirrel is red then the squirrel eats the mouse. If something eats the squirrel then it needs the squirrel. If something eats the mouse then the mouse needs the squirrel. If something needs the squirrel then the squirrel likes the mouse. If something is rough then it likes the mouse. If the bear needs the squirrel and the bear does not eat the bald eagle then the bear eats the squirrel. Young things are red. If something eats the bear then it is not blue. If something needs the squirrel then it is young.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If the squirrel likes the bald eagle and the squirrel is red then the squirrel eats the mouse.
((("squirrel" "likes" "bald eagle" "+") ("squirrel" "is" "red" "+")) -> ("squirrel" "eats" "mouse" "+"))
If something eats the squirrel then it needs the squirrel.
((("something" "eats" "squirrel" "+")) -> ("something" "needs" "squirrel" "+"))
If something eats the mouse then the mouse needs the squirrel.
((("something" "eats" "mouse" "+")) -> ("mouse" "needs" "squirrel" "+"))
If something needs the squirrel then the squirrel likes the mouse.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "likes" "mouse" "+"))
If something is rough then it likes the mouse.
((("something" "is" "rough" "+")) -> ("something" "likes" "mouse" "+"))
If the bear needs the squirrel and the bear does not eat the bald eagle then the bear eats the squirrel.
((("bear" "needs" "squirrel" "+") ("bear" "eats" "bald eagle" "~")) -> ("bear" "eats" "squirrel" "+"))
Young things are red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If something eats the bear then it is not blue.
((("something" "eats" "bear" "+")) -> ("something" "is" "blue" "-"))
If something needs the squirrel then it is young.
((("something" "needs" "squirrel" "+")) -> ("something" "is" "young" "+"))
The squirrel needs the bear.
True
1
proof
[(triple11)]
("squirrel" "needs" "bear" "+")
triple11
The bald eagle does not eat the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "squirrel" "-")
triple1
The squirrel is not blue.
True
2
proof
[(((triple7) -> rule8))]
("squirrel" "is" "blue" "-")
((triple7) -> (rule8 % int1))
The squirrel is not blue.
("squirrel" "is" "blue" "-")
int1
The bear does not need the squirrel.
False
2
inv-proof
[(((triple2) -> rule2))]
("bear" "needs" "squirrel" "-")
((triple2) -> (rule2 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The bald eagle is young.
True
3
proof
[(((((triple1) -> rule2)) -> rule9))]
("bald eagle" "is" "young" "+")
((((triple1) -> (rule2 % int2))) -> (rule9 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The bear is not young.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule9))]
("bear" "is" "young" "-")
((((triple2) -> (rule2 % int2))) -> (rule9 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
The mouse needs the squirrel.
True
5
proof
[(((((triple9 ((triple8) -> rule7)) -> rule1)) -> rule3))]
("mouse" "needs" "squirrel" "+")
((((triple9 ((triple8) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The bald eagle is not red.
False
4
inv-proof
[(((((((triple1) -> rule2)) -> rule9)) -> rule7))]
("bald eagle" "is" "red" "-")
((((((triple1) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int3
The mouse is young.
True
6
proof
[(((((((triple9 ((triple8) -> rule7)) -> rule1)) -> rule3)) -> rule9))]
("mouse" "is" "young" "+")
((((((triple9 ((triple8) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The mouse is not young.
False
6
inv-proof
[(((((((triple9 ((triple8) -> rule7)) -> rule1)) -> rule3)) -> rule9))]
("mouse" "is" "young" "-")
((((((triple9 ((triple8) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The mouse is red.
True
7
proof
[(((((((((triple9 ((triple8) -> rule7)) -> rule1)) -> rule3)) -> rule9)) -> rule7))]
("mouse" "is" "red" "+")
((((((((triple9 ((triple8) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int3
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
The mouse is not red.
False
7
inv-proof
[(((((((((triple9 ((triple8) -> rule7)) -> rule1)) -> rule3)) -> rule9)) -> rule7))]
("mouse" "is" "red" "-")
((((((((triple9 ((triple8) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int3
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
The mouse does not like the mouse.
Unknown
inv-rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "likes" "mouse" "-")
The bald eagle likes the mouse.
Unknown
rconc
[@1: The bald eagle likes the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "likes" "mouse" "+")
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The squirrel eats the bald eagle.
Unknown
random
[@0: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bald eagle" "+")
The mouse does not need the bald eagle.
Unknown
inv-random
[@0: The mouse needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "bald eagle" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The bald eagle does not need the bear.
Unknown
inv-random
[@0: The bald eagle needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bear" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
The mouse does not eat the bear.
Unknown
inv-random
[@0: The mouse eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bear" "-")
The squirrel likes the bear.
Unknown
random
[@0: The squirrel likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bear" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is red.[(triple3 OR ((((((triple2) -> rule2)) -> rule9)) -> rule7))] The bear likes the mouse.[(triple4)] The bear needs the bald eagle.[(triple5)] The mouse likes the squirrel.[(triple6)] The squirrel eats the bear.[(triple7)] The squirrel is young.[(triple8)] The squirrel likes the bald eagle.[(triple9)] The squirrel needs the bald eagle.[(triple10)] The squirrel needs the bear.[(triple11)] @1: The bald eagle needs the squirrel.[(((triple1) -> rule2))] The bear needs the squirrel.[(((triple2) -> rule2))] The squirrel is not blue.[(((triple7) -> rule8))] The squirrel is red.[(((triple8) -> rule7))] @2: The bald eagle is young.[(((((triple1) -> rule2)) -> rule9))] The bear is young.[(((((triple2) -> rule2)) -> rule9))] The squirrel eats the mouse.[(((triple9 ((triple8) -> rule7)) -> rule1))] The squirrel likes the mouse.[(((((triple1) -> rule2)) -> rule4) OR ((((triple2) -> rule2)) -> rule4) OR ((((((triple9 ((triple8) -> rule7)) -> rule1)) -> rule3)) -> rule4))] @3: The bald eagle is red.[(((((((triple1) -> rule2)) -> rule9)) -> rule7))] The mouse needs the squirrel.[(((((triple9 ((triple8) -> rule7)) -> rule1)) -> rule3))] @4: The mouse is young.[(((((((triple9 ((triple8) -> rule7)) -> rule1)) -> rule3)) -> rule9))] @5: The mouse is red.[(((((((((triple9 ((triple8) -> rule7)) -> rule1)) -> rule3)) -> rule9)) -> rule7))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
((((((triple2) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple4
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple5
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple6
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple7
The squirrel is young.
("squirrel" "is" "young" "+")
triple8
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple9
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple10
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple11
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
((triple1) -> (rule2 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
((triple2) -> (rule2 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The squirrel is not blue.
("squirrel" "is" "blue" "-")
((triple7) -> (rule8 % int1))
The squirrel is not blue.
("squirrel" "is" "blue" "-")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple8) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
((((triple1) -> (rule2 % int2))) -> (rule9 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The bear is young.
("bear" "is" "young" "+")
((((triple2) -> (rule2 % int2))) -> (rule9 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
((triple9 ((triple8) -> (rule7 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
((((((triple9 ((triple8) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((((triple1) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int3
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
((((triple9 ((triple8) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The mouse is young.
("mouse" "is" "young" "+")
((((((triple9 ((triple8) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int2
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
((((((((triple9 ((triple8) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int3
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5