The bear chases the cow. The bear is cold. The bear is nice. The bear is young. The bear likes the cow. The cow chases the bear. The cow is cold. The cow is green. The cow likes the bear. The cow needs the bear. The cow needs the dog. The dog chases the cow. The dog is nice. The dog needs the bear. The dog does not need the cow. If someone likes the bear and they are nice then the bear likes the cow. If the bear is young and the bear chases the dog then the bear is cold.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog does not need the cow.
("dog" "needs" "cow" "-")
If someone likes the bear and they are nice then the bear likes the cow.
((("someone" "likes" "bear" "+") ("someone" "is" "nice" "+")) -> ("bear" "likes" "cow" "+"))
If the bear is young and the bear chases the dog then the bear is cold.
((("bear" "is" "young" "+") ("bear" "chases" "dog" "+")) -> ("bear" "is" "cold" "+"))
The dog needs the bear.
True
1
proof
[(triple14)]
("dog" "needs" "bear" "+")
triple14
The cow does not like the bear.
False
1
inv-proof
[(triple9)]
("cow" "likes" "bear" "-")
triple9
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The bear chases the cow.[(triple1)] The bear is cold.[(triple2)] The bear is nice.[(triple3)] The bear is young.[(triple4)] The bear likes the cow.[(triple5)] The cow chases the bear.[(triple6)] The cow is cold.[(triple7)] The cow is green.[(triple8)] The cow likes the bear.[(triple9)] The cow needs the bear.[(triple10)] The cow needs the dog.[(triple11)] The dog chases the cow.[(triple12)] The dog does not need the cow.[(triple15)] The dog is nice.[(triple13)] The dog needs the bear.[(triple14)]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear likes the cow.
("bear" "likes" "cow" "+")
triple5
The cow chases the bear.
("cow" "chases" "bear" "+")
triple6
The cow is cold.
("cow" "is" "cold" "+")
triple7
The cow is green.
("cow" "is" "green" "+")
triple8
The cow likes the bear.
("cow" "likes" "bear" "+")
triple9
The cow needs the bear.
("cow" "needs" "bear" "+")
triple10
The cow needs the dog.
("cow" "needs" "dog" "+")
triple11
The dog chases the cow.
("dog" "chases" "cow" "+")
triple12
The dog does not need the cow.
("dog" "needs" "cow" "-")
triple15
The dog is nice.
("dog" "is" "nice" "+")
triple13
The dog needs the bear.
("dog" "needs" "bear" "+")
triple14