The bear does not eat the dog. The bear needs the cow. The cow eats the lion. The cow is not young. The cow likes the lion. The cow needs the bear. The cow needs the lion. The dog eats the bear. The dog eats the cow. The dog eats the lion. The dog is not young. The dog needs the bear. The lion eats the dog. The lion is nice. The lion likes the dog. The lion needs the bear. If the dog is young and the dog does not like the lion then the dog likes the bear. If the bear is young then the bear is not nice. If something is cold and not round then it needs the lion. If something needs the cow then it likes the cow. If something is young and it does not like the cow then the cow does not like the lion. If something likes the lion and the lion does not like the cow then the cow does not eat the bear.
The bear does not eat the dog.
("bear" "eats" "dog" "-")
The bear needs the cow.
("bear" "needs" "cow" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is not young.
("cow" "is" "young" "-")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is not young.
("dog" "is" "young" "-")
The dog needs the bear.
("dog" "needs" "bear" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
If the dog is young and the dog does not like the lion then the dog likes the bear.
((("dog" "is" "young" "+") ("dog" "likes" "lion" "~")) -> ("dog" "likes" "bear" "+"))
If the bear is young then the bear is not nice.
((("bear" "is" "young" "+")) -> ("bear" "is" "nice" "-"))
If something is cold and not round then it needs the lion.
((("something" "is" "cold" "+") ("something" "is" "round" "~")) -> ("something" "needs" "lion" "+"))
If something needs the cow then it likes the cow.
((("something" "needs" "cow" "+")) -> ("something" "likes" "cow" "+"))
If something is young and it does not like the cow then the cow does not like the lion.
((("something" "is" "young" "+") ("something" "likes" "cow" "~")) -> ("cow" "likes" "lion" "-"))
If something likes the lion and the lion does not like the cow then the cow does not eat the bear.
((("something" "likes" "lion" "+") ("lion" "likes" "cow" "~")) -> ("cow" "eats" "bear" "-"))
The dog eats the bear.
True
1
proof
[(triple8)]
("dog" "eats" "bear" "+")
triple8
The lion does not like the dog.
False
1
inv-proof
[(triple15)]
("lion" "likes" "dog" "-")
triple15
The bear likes the cow.
True
2
proof
[(((triple2) -> rule4))]
("bear" "likes" "cow" "+")
((triple2) -> (rule4 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The bear does not like the cow.
False
2
inv-proof
[(((triple2) -> rule4))]
("bear" "likes" "cow" "-")
((triple2) -> (rule4 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The lion does not like the cow.
Unknown
inv-rconc
[@1: The lion likes the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "likes" "cow" "-")
The dog likes the bear.
Unknown
rconc
[@1: The dog likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "bear" "+")
The lion does not eat the cow.
Unknown
inv-random
[@0: The lion eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "cow" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
@0: The bear does not eat the dog.[(triple1)] The bear needs the cow.[(triple2)] The cow eats the lion.[(triple3)] The cow is not young.[(triple4)] The cow likes the lion.[(triple5)] The cow needs the bear.[(triple6)] The cow needs the lion.[(triple7)] The dog eats the bear.[(triple8)] The dog eats the cow.[(triple9)] The dog eats the lion.[(triple10)] The dog is not young.[(triple11)] The dog needs the bear.[(triple12)] The lion eats the dog.[(triple13)] The lion is nice.[(triple14)] The lion likes the dog.[(triple15)] The lion needs the bear.[(triple16)] @1: The bear likes the cow.[(((triple2) -> rule4))]
The bear does not eat the dog.
("bear" "eats" "dog" "-")
triple1
The bear needs the cow.
("bear" "needs" "cow" "+")
triple2
The cow eats the lion.
("cow" "eats" "lion" "+")
triple3
The cow is not young.
("cow" "is" "young" "-")
triple4
The cow likes the lion.
("cow" "likes" "lion" "+")
triple5
The cow needs the bear.
("cow" "needs" "bear" "+")
triple6
The cow needs the lion.
("cow" "needs" "lion" "+")
triple7
The dog eats the bear.
("dog" "eats" "bear" "+")
triple8
The dog eats the cow.
("dog" "eats" "cow" "+")
triple9
The dog eats the lion.
("dog" "eats" "lion" "+")
triple10
The dog is not young.
("dog" "is" "young" "-")
triple11
The dog needs the bear.
("dog" "needs" "bear" "+")
triple12
The lion eats the dog.
("lion" "eats" "dog" "+")
triple13
The lion is nice.
("lion" "is" "nice" "+")
triple14
The lion likes the dog.
("lion" "likes" "dog" "+")
triple15
The lion needs the bear.
("lion" "needs" "bear" "+")
triple16
The bear likes the cow.
("bear" "likes" "cow" "+")
((triple2) -> (rule4 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1