The bear chases the cow. The bear chases the rabbit. The bear is big. The bear is round. The bear likes the dog. The bear needs the dog. The cow chases the bear. The cow is blue. The cow needs the bear. The dog is big. The rabbit is big. The rabbit is kind. The rabbit likes the cow. The rabbit needs the bear. The rabbit needs the dog. If the bear needs the dog then the dog chases the bear. If the bear is big and the bear likes the cow then the cow needs the dog. If someone needs the cow then they chase the rabbit. If someone needs the rabbit and the rabbit is big then the rabbit needs the bear. If someone needs the bear then they are round. If someone chases the bear then they need the cow. If someone needs the rabbit and they chase the dog then the dog is blue. If someone needs the dog and the dog chases the rabbit then the dog likes the bear.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The dog is big.
("dog" "is" "big" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If the bear needs the dog then the dog chases the bear.
((("bear" "needs" "dog" "+")) -> ("dog" "chases" "bear" "+"))
If the bear is big and the bear likes the cow then the cow needs the dog.
((("bear" "is" "big" "+") ("bear" "likes" "cow" "+")) -> ("cow" "needs" "dog" "+"))
If someone needs the cow then they chase the rabbit.
((("someone" "needs" "cow" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone needs the rabbit and the rabbit is big then the rabbit needs the bear.
((("someone" "needs" "rabbit" "+") ("rabbit" "is" "big" "+")) -> ("rabbit" "needs" "bear" "+"))
If someone needs the bear then they are round.
((("someone" "needs" "bear" "+")) -> ("someone" "is" "round" "+"))
If someone chases the bear then they need the cow.
((("someone" "chases" "bear" "+")) -> ("someone" "needs" "cow" "+"))
If someone needs the rabbit and they chase the dog then the dog is blue.
((("someone" "needs" "rabbit" "+") ("someone" "chases" "dog" "+")) -> ("dog" "is" "blue" "+"))
If someone needs the dog and the dog chases the rabbit then the dog likes the bear.
((("someone" "needs" "dog" "+") ("dog" "chases" "rabbit" "+")) -> ("dog" "likes" "bear" "+"))
The bear needs the dog.
True
1
proof
[(triple6)]
("bear" "needs" "dog" "+")
triple6
The bear does not chase the cow.
False
1
inv-proof
[(triple1)]
("bear" "chases" "cow" "-")
triple1
The rabbit is round.
True
2
proof
[(((triple14) -> rule5))]
("rabbit" "is" "round" "+")
((triple14) -> (rule5 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is not round.
False
2
inv-proof
[(((triple14) -> rule5))]
("rabbit" "is" "round" "-")
((triple14) -> (rule5 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The cow chases the rabbit.
True
3
proof
[(((((triple7) -> rule6)) -> rule3))]
("cow" "chases" "rabbit" "+")
((((triple7) -> (rule6 % int2))) -> (rule3 % int1))
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
int2
The dog does not need the cow.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule6))]
("dog" "needs" "cow" "-")
((((triple6) -> (rule1 % int2))) -> (rule6 % int1))
The dog needs the cow.
("dog" "needs" "cow" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The dog chases the rabbit.
True
4
proof
[(((((((triple6) -> rule1)) -> rule6)) -> rule3))]
("dog" "chases" "rabbit" "+")
((((((triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The dog needs the cow.
("dog" "needs" "cow" "+")
int2
The dog chases the bear.
("dog" "chases" "bear" "+")
int3
The dog does not chase the rabbit.
False
4
inv-proof
[(((((((triple6) -> rule1)) -> rule6)) -> rule3))]
("dog" "chases" "rabbit" "-")
((((((triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The dog needs the cow.
("dog" "needs" "cow" "+")
int2
The dog chases the bear.
("dog" "chases" "bear" "+")
int3
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@2: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit needs the cow.
Unknown
rconc
[@1: The rabbit needs the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "needs" "cow" "+")
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "is" "round" "-")
The cow needs the dog.
Unknown
rconc
[@1: The cow needs the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "needs" "dog" "+")
The cow does not need the rabbit.
Unknown
inv-random
[@0: The cow needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "rabbit" "-")
The cow likes the bear.
Unknown
random
[@0: The cow likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bear" "+")
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The rabbit is nice.
Unknown
random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "+")
@0: The bear chases the cow.[(triple1)] The bear chases the rabbit.[(triple2)] The bear is big.[(triple3)] The bear is round.[(triple4)] The bear likes the dog.[(triple5)] The bear needs the dog.[(triple6)] The cow chases the bear.[(triple7)] The cow is blue.[(triple8)] The cow needs the bear.[(triple9)] The dog is big.[(triple10)] The rabbit is big.[(triple11)] The rabbit is kind.[(triple12)] The rabbit likes the cow.[(triple13)] The rabbit needs the bear.[(triple14)] The rabbit needs the dog.[(triple15)] @1: The cow is round.[(((triple9) -> rule5))] The cow needs the cow.[(((triple7) -> rule6))] The dog chases the bear.[(((triple6) -> rule1))] The rabbit is round.[(((triple14) -> rule5))] @2: The cow chases the rabbit.[(((((triple7) -> rule6)) -> rule3))] The dog needs the cow.[(((((triple6) -> rule1)) -> rule6))] @3: The dog chases the rabbit.[(((((((triple6) -> rule1)) -> rule6)) -> rule3))] @4: The dog likes the bear.[(((triple15 ((((((triple6) -> rule1)) -> rule6)) -> rule3)) -> rule8) OR ((triple6 ((((((triple6) -> rule1)) -> rule6)) -> rule3)) -> rule8))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear likes the dog.
("bear" "likes" "dog" "+")
triple5
The bear needs the dog.
("bear" "needs" "dog" "+")
triple6
The cow chases the bear.
("cow" "chases" "bear" "+")
triple7
The cow is blue.
("cow" "is" "blue" "+")
triple8
The cow needs the bear.
("cow" "needs" "bear" "+")
triple9
The dog is big.
("dog" "is" "big" "+")
triple10
The rabbit is big.
("rabbit" "is" "big" "+")
triple11
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple12
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple13
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple14
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple15
The cow is round.
("cow" "is" "round" "+")
((triple9) -> (rule5 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
((triple7) -> (rule6 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
((triple6) -> (rule1 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
((triple14) -> (rule5 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
((((triple7) -> (rule6 % int2))) -> (rule3 % int1))
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
int2
The dog needs the cow.
("dog" "needs" "cow" "+")
((((triple6) -> (rule1 % int2))) -> (rule6 % int1))
The dog needs the cow.
("dog" "needs" "cow" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
((((((triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The dog needs the cow.
("dog" "needs" "cow" "+")
int2
The dog chases the bear.
("dog" "chases" "bear" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
((triple15 ((((((triple6) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int2
The dog needs the cow.
("dog" "needs" "cow" "+")
int3
The dog chases the bear.
("dog" "chases" "bear" "+")
int4
((triple6 ((((((triple6) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int2
The dog needs the cow.
("dog" "needs" "cow" "+")
int3
The dog chases the bear.
("dog" "chases" "bear" "+")
int4