The cat needs the cow. The cow eats the lion. The lion needs the cow. The rabbit needs the lion. If someone visits the rabbit and they need the cat then the cat visits the rabbit. If the lion is round then the lion is kind. If someone eats the cat then they are nice.
The cat needs the cow.
("cat" "needs" "cow" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
If someone visits the rabbit and they need the cat then the cat visits the rabbit.
((("someone" "visits" "rabbit" "+") ("someone" "needs" "cat" "+")) -> ("cat" "visits" "rabbit" "+"))
If the lion is round then the lion is kind.
((("lion" "is" "round" "+")) -> ("lion" "is" "kind" "+"))
If someone eats the cat then they are nice.
((("someone" "eats" "cat" "+")) -> ("someone" "is" "nice" "+"))
The cow eats the lion.
True
1
proof
[(triple2)]
("cow" "eats" "lion" "+")
triple2
The lion does not need the cow.
False
1
inv-proof
[(triple3)]
("lion" "needs" "cow" "-")
triple3
The cat is not nice.
Unknown
inv-rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "nice" "-")
The cat eats the rabbit.
Unknown
random
[@0: The cat eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "rabbit" "+")
@0: The cat needs the cow.[(triple1)] The cow eats the lion.[(triple2)] The lion needs the cow.[(triple3)] The rabbit needs the lion.[(triple4)]
The cat needs the cow.
("cat" "needs" "cow" "+")
triple1
The cow eats the lion.
("cow" "eats" "lion" "+")
triple2
The lion needs the cow.
("lion" "needs" "cow" "+")
triple3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple4