The bear eats the cat. The bear is green. The bear needs the cat. The cat eats the bear. The cat eats the lion. The cat is big. The cat is green. The cat is young. The cat needs the bear. The lion eats the bear. The lion eats the cat. The lion is young. The lion likes the bear. The lion likes the cat. The lion needs the bear. The lion needs the cat. If something likes the lion then it eats the cat.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is green.
("bear" "is" "green" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
If something likes the lion then it eats the cat.
((("something" "likes" "lion" "+")) -> ("something" "eats" "cat" "+"))
The lion eats the cat.
True
1
proof
[(triple11)]
("lion" "eats" "cat" "+")
triple11
The lion does not need the bear.
False
1
inv-proof
[(triple15)]
("lion" "needs" "bear" "-")
triple15
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "cat" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The bear eats the cat.[(triple1)] The bear is green.[(triple2)] The bear needs the cat.[(triple3)] The cat eats the bear.[(triple4)] The cat eats the lion.[(triple5)] The cat is big.[(triple6)] The cat is green.[(triple7)] The cat is young.[(triple8)] The cat needs the bear.[(triple9)] The lion eats the bear.[(triple10)] The lion eats the cat.[(triple11)] The lion is young.[(triple12)] The lion likes the bear.[(triple13)] The lion likes the cat.[(triple14)] The lion needs the bear.[(triple15)] The lion needs the cat.[(triple16)]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear needs the cat.
("bear" "needs" "cat" "+")
triple3
The cat eats the bear.
("cat" "eats" "bear" "+")
triple4
The cat eats the lion.
("cat" "eats" "lion" "+")
triple5
The cat is big.
("cat" "is" "big" "+")
triple6
The cat is green.
("cat" "is" "green" "+")
triple7
The cat is young.
("cat" "is" "young" "+")
triple8
The cat needs the bear.
("cat" "needs" "bear" "+")
triple9
The lion eats the bear.
("lion" "eats" "bear" "+")
triple10
The lion eats the cat.
("lion" "eats" "cat" "+")
triple11
The lion is young.
("lion" "is" "young" "+")
triple12
The lion likes the bear.
("lion" "likes" "bear" "+")
triple13
The lion likes the cat.
("lion" "likes" "cat" "+")
triple14
The lion needs the bear.
("lion" "needs" "bear" "+")
triple15
The lion needs the cat.
("lion" "needs" "cat" "+")
triple16