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