The bear is big. The bear needs the rabbit. The bear needs the squirrel. The bear sees the dog. The bear sees the rabbit. The dog is green. The dog is young. The dog needs the squirrel. The rabbit chases the dog. The rabbit is green. The rabbit is rough. The squirrel is blue. The squirrel is rough. The squirrel needs the dog. The squirrel sees the dog. The squirrel sees the rabbit. If someone sees the bear and the bear sees the rabbit then the rabbit chases the squirrel. If the bear is big and the bear sees the dog then the bear needs the rabbit. If the dog sees the bear and the bear needs the dog then the bear is big. If the bear needs the rabbit then the bear chases the squirrel. If someone sees the bear then the bear chases the rabbit. If someone chases the squirrel then the squirrel needs the rabbit. If someone needs the bear and the bear sees the squirrel then the bear needs the dog. If someone sees the dog and the dog needs the rabbit then the dog is green.
The bear is big.
("bear" "is" "big" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If someone sees the bear and the bear sees the rabbit then the rabbit chases the squirrel.
((("someone" "sees" "bear" "+") ("bear" "sees" "rabbit" "+")) -> ("rabbit" "chases" "squirrel" "+"))
If the bear is big and the bear sees the dog then the bear needs the rabbit.
((("bear" "is" "big" "+") ("bear" "sees" "dog" "+")) -> ("bear" "needs" "rabbit" "+"))
If the dog sees the bear and the bear needs the dog then the bear is big.
((("dog" "sees" "bear" "+") ("bear" "needs" "dog" "+")) -> ("bear" "is" "big" "+"))
If the bear needs the rabbit then the bear chases the squirrel.
((("bear" "needs" "rabbit" "+")) -> ("bear" "chases" "squirrel" "+"))
If someone sees the bear then the bear chases the rabbit.
((("someone" "sees" "bear" "+")) -> ("bear" "chases" "rabbit" "+"))
If someone chases the squirrel then the squirrel needs the rabbit.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "needs" "rabbit" "+"))
If someone needs the bear and the bear sees the squirrel then the bear needs the dog.
((("someone" "needs" "bear" "+") ("bear" "sees" "squirrel" "+")) -> ("bear" "needs" "dog" "+"))
If someone sees the dog and the dog needs the rabbit then the dog is green.
((("someone" "sees" "dog" "+") ("dog" "needs" "rabbit" "+")) -> ("dog" "is" "green" "+"))
The bear sees the rabbit.
True
1
proof
[(triple5)]
("bear" "sees" "rabbit" "+")
triple5
The squirrel is not rough.
False
1
inv-proof
[(triple13)]
("squirrel" "is" "rough" "-")
triple13
The bear chases the squirrel.
True
2
proof
[(((triple2) -> rule4) OR ((((triple1 triple4) -> rule2)) -> rule4))]
("bear" "chases" "squirrel" "+")
((triple2) -> (rule4 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
((((triple1 triple4) -> (rule2 % int2))) -> (rule4 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int2
The bear does not chase the squirrel.
False
2
inv-proof
[(((triple2) -> rule4) OR ((((triple1 triple4) -> rule2)) -> rule4))]
("bear" "chases" "squirrel" "-")
((triple2) -> (rule4 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
((((triple1 triple4) -> (rule2 % int2))) -> (rule4 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int2
The squirrel needs the rabbit.
True
3
proof
[(((((triple2) -> rule4)) -> rule6) OR ((((((triple1 triple4) -> rule2)) -> rule4)) -> rule6))]
("squirrel" "needs" "rabbit" "+")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
((((((triple1 triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int3
The squirrel does not need the rabbit.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule6) OR ((((((triple1 triple4) -> rule2)) -> rule4)) -> rule6))]
("squirrel" "needs" "rabbit" "-")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
((((((triple1 triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int3
The rabbit does not chase the squirrel.
Unknown
inv-rconc
[@1: The rabbit chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "chases" "squirrel" "-")
The bear chases the rabbit.
Unknown
rconc
[@1: The bear chases the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "chases" "rabbit" "+")
The bear does not need the dog.
Unknown
inv-rconc
[@1: The bear needs the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "needs" "dog" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The rabbit chases the bear.
Unknown
random
[@0: The rabbit chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bear" "+")
@0: The bear is big.[(triple1)] The bear needs the rabbit.[(triple2 OR ((triple1 triple4) -> rule2))] The bear needs the squirrel.[(triple3)] The bear sees the dog.[(triple4)] The bear sees the rabbit.[(triple5)] The dog is green.[(triple6)] The dog is young.[(triple7)] The dog needs the squirrel.[(triple8)] The rabbit chases the dog.[(triple9)] The rabbit is green.[(triple10)] The rabbit is rough.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is rough.[(triple13)] The squirrel needs the dog.[(triple14)] The squirrel sees the dog.[(triple15)] The squirrel sees the rabbit.[(triple16)] @1: The bear chases the squirrel.[(((triple2) -> rule4) OR ((((triple1 triple4) -> rule2)) -> rule4))] @2: The squirrel needs the rabbit.[(((((triple2) -> rule4)) -> rule6) OR ((((((triple1 triple4) -> rule2)) -> rule4)) -> rule6))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple2
((triple1 triple4) -> (rule2 % int1))
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple3
The bear sees the dog.
("bear" "sees" "dog" "+")
triple4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple5
The dog is green.
("dog" "is" "green" "+")
triple6
The dog is young.
("dog" "is" "young" "+")
triple7
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple8
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple9
The rabbit is green.
("rabbit" "is" "green" "+")
triple10
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple11
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple12
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple14
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple15
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple16
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
((triple2) -> (rule4 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
((((triple1 triple4) -> (rule2 % int2))) -> (rule4 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int2
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
((((((triple1 triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int3