The bear is big. The bear is nice. The bear needs the cow. The bear needs the dog. The bear sees the dog. The cow likes the dog. The cow needs the bear. The cow sees the bear. The cow sees the dog. The dog is not nice. The dog likes the bear. The dog likes the cow. The dog does not need the bear. The dog needs the cow. The dog does not see the bear. The dog sees the cow. If something is nice and it does not see the bear then it does not need the cow. If the bear likes the cow and the bear needs the cow then the bear sees the dog. If something sees the cow then the cow is not blue. If the bear is not blue then the bear does not like the cow. If something needs the bear and the bear is blue then the bear does not like the cow. If the cow is rough then the cow is not red. If something sees the bear and the bear sees the cow then it does not like the dog. If the bear is blue and the bear needs the cow then the bear sees the cow.
The bear is big.
("bear" "is" "big" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The dog is not nice.
("dog" "is" "nice" "-")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog does not need the bear.
("dog" "needs" "bear" "-")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog does not see the bear.
("dog" "sees" "bear" "-")
The dog sees the cow.
("dog" "sees" "cow" "+")
If something is nice and it does not see the bear then it does not need the cow.
((("something" "is" "nice" "+") ("something" "sees" "bear" "~")) -> ("something" "needs" "cow" "-"))
If the bear likes the cow and the bear needs the cow then the bear sees the dog.
((("bear" "likes" "cow" "+") ("bear" "needs" "cow" "+")) -> ("bear" "sees" "dog" "+"))
If something sees the cow then the cow is not blue.
((("something" "sees" "cow" "+")) -> ("cow" "is" "blue" "-"))
If the bear is not blue then the bear does not like the cow.
((("bear" "is" "blue" "~")) -> ("bear" "likes" "cow" "-"))
If something needs the bear and the bear is blue then the bear does not like the cow.
((("something" "needs" "bear" "+") ("bear" "is" "blue" "+")) -> ("bear" "likes" "cow" "-"))
If the cow is rough then the cow is not red.
((("cow" "is" "rough" "+")) -> ("cow" "is" "red" "-"))
If something sees the bear and the bear sees the cow then it does not like the dog.
((("something" "sees" "bear" "+") ("bear" "sees" "cow" "+")) -> ("something" "likes" "dog" "-"))
If the bear is blue and the bear needs the cow then the bear sees the cow.
((("bear" "is" "blue" "+") ("bear" "needs" "cow" "+")) -> ("bear" "sees" "cow" "+"))
The bear needs the dog.
True
1
proof
[(triple4)]
("bear" "needs" "dog" "+")
triple4
The dog does not need the cow.
False
1
inv-proof
[(triple14)]
("dog" "needs" "cow" "-")
triple14
The bear does not see the cow.
Unknown
inv-rconc
[@1: The bear sees the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "sees" "cow" "-")
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 is big.[(triple1)] The bear is nice.[(triple2)] The bear needs the cow.[(triple3)] The bear needs the dog.[(triple4)] The bear sees the dog.[(triple5)] The cow likes the dog.[(triple6)] The cow needs the bear.[(triple7)] The cow sees the bear.[(triple8)] The cow sees the dog.[(triple9)] The dog does not need the bear.[(triple13)] The dog does not see the bear.[(triple15)] The dog is not nice.[(triple10)] The dog likes the bear.[(triple11)] The dog likes the cow.[(triple12)] The dog needs the cow.[(triple14)] The dog sees the cow.[(triple16)] @1: The cow is not blue.[(((triple16) -> rule3))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear needs the cow.
("bear" "needs" "cow" "+")
triple3
The bear needs the dog.
("bear" "needs" "dog" "+")
triple4
The bear sees the dog.
("bear" "sees" "dog" "+")
triple5
The cow likes the dog.
("cow" "likes" "dog" "+")
triple6
The cow needs the bear.
("cow" "needs" "bear" "+")
triple7
The cow sees the bear.
("cow" "sees" "bear" "+")
triple8
The cow sees the dog.
("cow" "sees" "dog" "+")
triple9
The dog does not need the bear.
("dog" "needs" "bear" "-")
triple13
The dog does not see the bear.
("dog" "sees" "bear" "-")
triple15
The dog is not nice.
("dog" "is" "nice" "-")
triple10
The dog likes the bear.
("dog" "likes" "bear" "+")
triple11
The dog likes the cow.
("dog" "likes" "cow" "+")
triple12
The dog needs the cow.
("dog" "needs" "cow" "+")
triple14
The dog sees the cow.
("dog" "sees" "cow" "+")
triple16
The cow is not blue.
("cow" "is" "blue" "-")
((triple16) -> (rule3 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1