The dog eats the rabbit. The dog eats the squirrel. The dog needs the squirrel. The dog visits the rabbit. The dog visits the squirrel. The rabbit eats the dog. The rabbit is big. The rabbit is red. The rabbit is rough. The rabbit needs the squirrel. The rabbit visits the dog. The squirrel is big. The squirrel is nice. The squirrel needs the rabbit. The squirrel visits the dog. The squirrel visits the rabbit. If something is rough and it visits the squirrel then the squirrel is rough. If something is rough and it needs the rabbit then it eats the rabbit. If something needs the squirrel then it needs the rabbit. If the rabbit visits the squirrel then the squirrel is red. If the rabbit needs the dog and the rabbit is nice then the dog visits the rabbit. If something is rough and it eats the rabbit then it is young.
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If something is rough and it visits the squirrel then the squirrel is rough.
((("something" "is" "rough" "+") ("something" "visits" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If something is rough and it needs the rabbit then it eats the rabbit.
((("something" "is" "rough" "+") ("something" "needs" "rabbit" "+")) -> ("something" "eats" "rabbit" "+"))
If something needs the squirrel then it needs the rabbit.
((("something" "needs" "squirrel" "+")) -> ("something" "needs" "rabbit" "+"))
If the rabbit visits the squirrel then the squirrel is red.
((("rabbit" "visits" "squirrel" "+")) -> ("squirrel" "is" "red" "+"))
If the rabbit needs the dog and the rabbit is nice then the dog visits the rabbit.
((("rabbit" "needs" "dog" "+") ("rabbit" "is" "nice" "+")) -> ("dog" "visits" "rabbit" "+"))
If something is rough and it eats the rabbit then it is young.
((("something" "is" "rough" "+") ("something" "eats" "rabbit" "+")) -> ("something" "is" "young" "+"))
The rabbit is big.
True
1
proof
[(triple7)]
("rabbit" "is" "big" "+")
triple7
The squirrel does not visit the rabbit.
False
1
inv-proof
[(triple16)]
("squirrel" "visits" "rabbit" "-")
triple16
The dog needs the rabbit.
True
2
proof
[(((triple3) -> rule3))]
("dog" "needs" "rabbit" "+")
((triple3) -> (rule3 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The rabbit does not need the rabbit.
False
2
inv-proof
[(((triple10) -> rule3))]
("rabbit" "needs" "rabbit" "-")
((triple10) -> (rule3 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit eats the rabbit.
True
4
proof
[(((triple9 ((triple10) -> rule3)) -> rule2))]
("rabbit" "eats" "rabbit" "+")
((triple9 ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int2
The rabbit does not eat the rabbit.
False
4
inv-proof
[(((triple9 ((triple10) -> rule3)) -> rule2))]
("rabbit" "eats" "rabbit" "-")
((triple9 ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int2
The rabbit is young.
True
6
proof
[(((triple9 ((triple9 ((triple10) -> rule3)) -> rule2)) -> rule6))]
("rabbit" "is" "young" "+")
((triple9 ((triple9 ((triple10) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int3
The rabbit is not young.
False
6
inv-proof
[(((triple9 ((triple9 ((triple10) -> rule3)) -> rule2)) -> rule6))]
("rabbit" "is" "young" "-")
((triple9 ((triple9 ((triple10) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int3
The squirrel is not young.
Unknown
inv-rconc
[@2: The squirrel is young.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("squirrel" "is" "young" "-")
The squirrel eats the rabbit.
Unknown
rconc
[@2: The squirrel eats the rabbit.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("squirrel" "eats" "rabbit" "+")
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "young" "-")
The squirrel is rough.
Unknown
rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "rough" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The rabbit visits the squirrel.
Unknown
random
[@0: The rabbit visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "squirrel" "+")
The rabbit does not need the dog.
Unknown
inv-random
[@0: The rabbit needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "dog" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The dog eats the rabbit.[(triple1)] The dog eats the squirrel.[(triple2)] The dog needs the squirrel.[(triple3)] The dog visits the rabbit.[(triple4)] The dog visits the squirrel.[(triple5)] The rabbit eats the dog.[(triple6)] The rabbit is big.[(triple7)] The rabbit is red.[(triple8)] The rabbit is rough.[(triple9)] The rabbit needs the squirrel.[(triple10)] The rabbit visits the dog.[(triple11)] The squirrel is big.[(triple12)] The squirrel is nice.[(triple13)] The squirrel needs the rabbit.[(triple14)] The squirrel visits the dog.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The dog needs the rabbit.[(((triple3) -> rule3))] The rabbit needs the rabbit.[(((triple10) -> rule3))] @2: The rabbit eats the rabbit.[(((triple9 ((triple10) -> rule3)) -> rule2))] @3: The rabbit is young.[(((triple9 ((triple9 ((triple10) -> rule3)) -> rule2)) -> rule6))]
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple2
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple3
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple4
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple5
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple6
The rabbit is big.
("rabbit" "is" "big" "+")
triple7
The rabbit is red.
("rabbit" "is" "red" "+")
triple8
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple9
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple10
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple11
The squirrel is big.
("squirrel" "is" "big" "+")
triple12
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple13
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple14
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple15
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple16
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
((triple3) -> (rule3 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
((triple10) -> (rule3 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple9 ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
((triple9 ((triple9 ((triple10) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int3