The cat visits the cow. The cow is blue. The cow needs the dog. The dog visits the lion. The lion is big. The lion visits the cat. The lion visits the cow. If the lion needs the cow and the cow chases the lion then the lion is rough. If something is rough and it needs the dog then the dog visits the cat.
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
If the lion needs the cow and the cow chases the lion then the lion is rough.
((("lion" "needs" "cow" "+") ("cow" "chases" "lion" "+")) -> ("lion" "is" "rough" "+"))
If something is rough and it needs the dog then the dog visits the cat.
((("something" "is" "rough" "+") ("something" "needs" "dog" "+")) -> ("dog" "visits" "cat" "+"))
The cow needs the dog.
True
1
proof
[(triple3)]
("cow" "needs" "dog" "+")
triple3
The lion is not big.
False
1
inv-proof
[(triple5)]
("lion" "is" "big" "-")
triple5
The lion is not rough.
Unknown
inv-rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "rough" "-")
The cow visits the dog.
Unknown
random
[@0: The cow visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "dog" "+")
@0: The cat visits the cow.[(triple1)] The cow is blue.[(triple2)] The cow needs the dog.[(triple3)] The dog visits the lion.[(triple4)] The lion is big.[(triple5)] The lion visits the cat.[(triple6)] The lion visits the cow.[(triple7)]
The cat visits the cow.
("cat" "visits" "cow" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow needs the dog.
("cow" "needs" "dog" "+")
triple3
The dog visits the lion.
("dog" "visits" "lion" "+")
triple4
The lion is big.
("lion" "is" "big" "+")
triple5
The lion visits the cat.
("lion" "visits" "cat" "+")
triple6
The lion visits the cow.
("lion" "visits" "cow" "+")
triple7