The bear eats the squirrel. The bear is young. The bear likes the rabbit. The cow is big. The cow is young. The cow needs the squirrel. The rabbit is rough. The rabbit is young. The rabbit likes the squirrel. The rabbit needs the cow. The rabbit needs the squirrel. The squirrel likes the bear. If something eats the cow then it is nice. If the rabbit is young and the rabbit eats the bear then the rabbit eats the squirrel. If something likes the squirrel and it is big then the squirrel needs the bear. If something eats the squirrel and the squirrel needs the cow then it needs the squirrel. If something likes the squirrel and the squirrel is blue then the squirrel eats the cow. If something is blue and it likes the squirrel then it eats the cow. If something is nice then it needs the cow. If something likes the bear then it is blue.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
If something eats the cow then it is nice.
((("something" "eats" "cow" "+")) -> ("something" "is" "nice" "+"))
If the rabbit is young and the rabbit eats the bear then the rabbit eats the squirrel.
((("rabbit" "is" "young" "+") ("rabbit" "eats" "bear" "+")) -> ("rabbit" "eats" "squirrel" "+"))
If something likes the squirrel and it is big then the squirrel needs the bear.
((("something" "likes" "squirrel" "+") ("something" "is" "big" "+")) -> ("squirrel" "needs" "bear" "+"))
If something eats the squirrel and the squirrel needs the cow then it needs the squirrel.
((("something" "eats" "squirrel" "+") ("squirrel" "needs" "cow" "+")) -> ("something" "needs" "squirrel" "+"))
If something likes the squirrel and the squirrel is blue then the squirrel eats the cow.
((("something" "likes" "squirrel" "+") ("squirrel" "is" "blue" "+")) -> ("squirrel" "eats" "cow" "+"))
If something is blue and it likes the squirrel then it eats the cow.
((("something" "is" "blue" "+") ("something" "likes" "squirrel" "+")) -> ("something" "eats" "cow" "+"))
If something is nice then it needs the cow.
((("something" "is" "nice" "+")) -> ("something" "needs" "cow" "+"))
If something likes the bear then it is blue.
((("something" "likes" "bear" "+")) -> ("something" "is" "blue" "+"))
The rabbit needs the squirrel.
True
1
proof
[(triple11)]
("rabbit" "needs" "squirrel" "+")
triple11
The bear does not like the rabbit.
False
1
inv-proof
[(triple3)]
("bear" "likes" "rabbit" "-")
triple3
The squirrel is blue.
True
2
proof
[(((triple12) -> rule8))]
("squirrel" "is" "blue" "+")
((triple12) -> (rule8 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not blue.
False
2
inv-proof
[(((triple12) -> rule8))]
("squirrel" "is" "blue" "-")
((triple12) -> (rule8 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel eats the cow.
True
4
proof
[(((triple9 ((triple12) -> rule8)) -> rule5))]
("squirrel" "eats" "cow" "+")
((triple9 ((triple12) -> (rule8 % int2))) -> (rule5 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel does not eat the cow.
False
4
inv-proof
[(((triple9 ((triple12) -> rule8)) -> rule5))]
("squirrel" "eats" "cow" "-")
((triple9 ((triple12) -> (rule8 % int2))) -> (rule5 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is nice.
True
5
proof
[(((((triple9 ((triple12) -> rule8)) -> rule5)) -> rule1))]
("squirrel" "is" "nice" "+")
((((triple9 ((triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel is not nice.
False
5
inv-proof
[(((((triple9 ((triple12) -> rule8)) -> rule5)) -> rule1))]
("squirrel" "is" "nice" "-")
((((triple9 ((triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel needs the cow.
True
6
proof
[(((((((triple9 ((triple12) -> rule8)) -> rule5)) -> rule1)) -> rule7))]
("squirrel" "needs" "cow" "+")
((((((triple9 ((triple12) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int3
The squirrel is blue.
("squirrel" "is" "blue" "+")
int4
The squirrel does not need the cow.
False
6
inv-proof
[(((((((triple9 ((triple12) -> rule8)) -> rule5)) -> rule1)) -> rule7))]
("squirrel" "needs" "cow" "-")
((((((triple9 ((triple12) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int3
The squirrel is blue.
("squirrel" "is" "blue" "+")
int4
The bear needs the squirrel.
True
8
proof
[(((triple1 ((((((triple9 ((triple12) -> rule8)) -> rule5)) -> rule1)) -> rule7)) -> rule4))]
("bear" "needs" "squirrel" "+")
((triple1 ((((((triple9 ((triple12) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int4
The squirrel is blue.
("squirrel" "is" "blue" "+")
int5
The bear does not need the squirrel.
False
8
inv-proof
[(((triple1 ((((((triple9 ((triple12) -> rule8)) -> rule5)) -> rule1)) -> rule7)) -> rule4))]
("bear" "needs" "squirrel" "-")
((triple1 ((((((triple9 ((triple12) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int4
The squirrel is blue.
("squirrel" "is" "blue" "+")
int5
The cow does not need the cow.
Unknown
inv-rconc
[@3: The cow needs the cow.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule6 <- FAIL)]]
("cow" "needs" "cow" "-")
The rabbit eats the cow.
Unknown
rconc
[@2: The rabbit eats the cow.[CWA. Example of deepest failure = (rule6 <- rule8 <- FAIL)]]
("rabbit" "eats" "cow" "+")
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "eats" "cow" "-")
The rabbit eats the squirrel.
Unknown
rconc
[@1: The rabbit eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "eats" "squirrel" "+")
The cow is not blue.
Unknown
inv-rconc
[@1: The cow is blue.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "is" "blue" "-")
The bear eats the cow.
Unknown
rconc
[@1: The bear eats the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "eats" "cow" "+")
The cow does not like the rabbit.
Unknown
inv-random
[@0: The cow likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "rabbit" "-")
The bear eats the rabbit.
Unknown
random
[@0: The bear eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "rabbit" "+")
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The squirrel is big.
Unknown
random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "+")
The squirrel does not need the rabbit.
Unknown
inv-random
[@0: The squirrel needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "rabbit" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The bear eats the squirrel.[(triple1)] The bear is young.[(triple2)] The bear likes the rabbit.[(triple3)] The cow is big.[(triple4)] The cow is young.[(triple5)] The cow needs the squirrel.[(triple6)] The rabbit is rough.[(triple7)] The rabbit is young.[(triple8)] The rabbit likes the squirrel.[(triple9)] The rabbit needs the cow.[(triple10)] The rabbit needs the squirrel.[(triple11)] The squirrel likes the bear.[(triple12)] @1: The squirrel is blue.[(((triple12) -> rule8))] @2: The squirrel eats the cow.[(((triple9 ((triple12) -> rule8)) -> rule5))] @3: The squirrel is nice.[(((((triple9 ((triple12) -> rule8)) -> rule5)) -> rule1))] @4: The squirrel needs the cow.[(((((((triple9 ((triple12) -> rule8)) -> rule5)) -> rule1)) -> rule7))] @5: The bear needs the squirrel.[(((triple1 ((((((triple9 ((triple12) -> rule8)) -> rule5)) -> rule1)) -> rule7)) -> rule4))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple3
The cow is big.
("cow" "is" "big" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple6
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple7
The rabbit is young.
("rabbit" "is" "young" "+")
triple8
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple9
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple10
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple11
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple12
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple12) -> (rule8 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
((triple9 ((triple12) -> (rule8 % int2))) -> (rule5 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
((((triple9 ((triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
((((((triple9 ((triple12) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int3
The squirrel is blue.
("squirrel" "is" "blue" "+")
int4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
((triple1 ((((((triple9 ((triple12) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int4
The squirrel is blue.
("squirrel" "is" "blue" "+")
int5