The cow likes the dog. The cow likes the squirrel. The cow needs the rabbit. The dog is red. The dog does not like the cow. The rabbit is big. The rabbit needs the cow. The squirrel eats the dog. The squirrel is nice. The squirrel likes the dog. If something likes the squirrel then the squirrel eats the cow. If something eats the rabbit and it is big then the rabbit is nice. If the squirrel is big then the squirrel needs the cow. If the dog is red and the dog eats the rabbit then the rabbit is not green. If something eats the dog and the dog is red then it eats the squirrel. If something eats the cow then it is big. If something eats the squirrel and it needs the rabbit then it likes the dog. If the squirrel is red then the squirrel does not need the dog.
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The dog is red.
("dog" "is" "red" "+")
The dog does not like the cow.
("dog" "likes" "cow" "-")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If something likes the squirrel then the squirrel eats the cow.
((("something" "likes" "squirrel" "+")) -> ("squirrel" "eats" "cow" "+"))
If something eats the rabbit and it is big then the rabbit is nice.
((("something" "eats" "rabbit" "+") ("something" "is" "big" "+")) -> ("rabbit" "is" "nice" "+"))
If the squirrel is big then the squirrel needs the cow.
((("squirrel" "is" "big" "+")) -> ("squirrel" "needs" "cow" "+"))
If the dog is red and the dog eats the rabbit then the rabbit is not green.
((("dog" "is" "red" "+") ("dog" "eats" "rabbit" "+")) -> ("rabbit" "is" "green" "-"))
If something eats the dog and the dog is red then it eats the squirrel.
((("something" "eats" "dog" "+") ("dog" "is" "red" "+")) -> ("something" "eats" "squirrel" "+"))
If something eats the cow then it is big.
((("something" "eats" "cow" "+")) -> ("something" "is" "big" "+"))
If something eats the squirrel and it needs the rabbit then it likes the dog.
((("something" "eats" "squirrel" "+") ("something" "needs" "rabbit" "+")) -> ("something" "likes" "dog" "+"))
If the squirrel is red then the squirrel does not need the dog.
((("squirrel" "is" "red" "+")) -> ("squirrel" "needs" "dog" "-"))
The cow needs the rabbit.
True
1
proof
[(triple3)]
("cow" "needs" "rabbit" "+")
triple3
The rabbit is not big.
False
1
inv-proof
[(triple6)]
("rabbit" "is" "big" "-")
triple6
The squirrel eats the squirrel.
True
3
proof
[(((triple8 triple4) -> rule5))]
("squirrel" "eats" "squirrel" "+")
((triple8 triple4) -> (rule5 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel does not eat the squirrel.
False
3
inv-proof
[(((triple8 triple4) -> rule5))]
("squirrel" "eats" "squirrel" "-")
((triple8 triple4) -> (rule5 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is big.
True
3
proof
[(((((triple2) -> rule1)) -> rule6))]
("squirrel" "is" "big" "+")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2
The squirrel is not big.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule6))]
("squirrel" "is" "big" "-")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2
The squirrel needs the cow.
True
4
proof
[(((((((triple2) -> rule1)) -> rule6)) -> rule3))]
("squirrel" "needs" "cow" "+")
((((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int3
The squirrel does not need the cow.
False
4
inv-proof
[(((((((triple2) -> rule1)) -> rule6)) -> rule3))]
("squirrel" "needs" "cow" "-")
((((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int3
The dog is not big.
Unknown
inv-rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "big" "-")
The dog eats the squirrel.
Unknown
rconc
[@1: The dog eats the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "eats" "squirrel" "+")
The cow does not eat the squirrel.
Unknown
inv-rconc
[@1: The cow eats the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "eats" "squirrel" "-")
The cow is big.
Unknown
rconc
[@1: The cow is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "big" "+")
The dog does not like the rabbit.
Unknown
inv-random
[@0: The dog likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "rabbit" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
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 dog needs the rabbit.
Unknown
random
[@0: The dog needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "rabbit" "+")
@0: The cow likes the dog.[(triple1)] The cow likes the squirrel.[(triple2)] The cow needs the rabbit.[(triple3)] The dog does not like the cow.[(triple5)] The dog is red.[(triple4)] The rabbit is big.[(triple6)] The rabbit needs the cow.[(triple7)] The squirrel eats the dog.[(triple8)] The squirrel is nice.[(triple9)] The squirrel likes the dog.[(triple10)] @1: The squirrel eats the cow.[(((triple2) -> rule1))] The squirrel eats the squirrel.[(((triple8 triple4) -> rule5))] @2: The squirrel is big.[(((((triple2) -> rule1)) -> rule6))] @3: The squirrel needs the cow.[(((((((triple2) -> rule1)) -> rule6)) -> rule3))]
The cow likes the dog.
("cow" "likes" "dog" "+")
triple1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple2
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple3
The dog does not like the cow.
("dog" "likes" "cow" "-")
triple5
The dog is red.
("dog" "is" "red" "+")
triple4
The rabbit is big.
("rabbit" "is" "big" "+")
triple6
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple7
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple8
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple9
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple10
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
((triple2) -> (rule1 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple8 triple4) -> (rule5 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int2
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
((((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int3