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