The cat needs the rabbit. The lion likes the mouse. The mouse is rough. The rabbit visits the lion. If the cat needs the rabbit and the rabbit needs the lion then the cat likes the lion. If something needs the mouse then it is kind. If the mouse is nice and the mouse visits the rabbit then the mouse needs the rabbit.
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If the cat needs the rabbit and the rabbit needs the lion then the cat likes the lion.
((("cat" "needs" "rabbit" "+") ("rabbit" "needs" "lion" "+")) -> ("cat" "likes" "lion" "+"))
If something needs the mouse then it is kind.
((("something" "needs" "mouse" "+")) -> ("something" "is" "kind" "+"))
If the mouse is nice and the mouse visits the rabbit then the mouse needs the rabbit.
((("mouse" "is" "nice" "+") ("mouse" "visits" "rabbit" "+")) -> ("mouse" "needs" "rabbit" "+"))
The rabbit visits the lion.
True
1
proof
[(triple4)]
("rabbit" "visits" "lion" "+")
triple4
The rabbit does not visit the lion.
False
1
inv-proof
[(triple4)]
("rabbit" "visits" "lion" "-")
triple4
The lion is not kind.
Unknown
inv-rconc
[@1: The lion is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "kind" "-")
The cat visits the mouse.
Unknown
random
[@0: The cat visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "mouse" "+")
@0: The cat needs the rabbit.[(triple1)] The lion likes the mouse.[(triple2)] The mouse is rough.[(triple3)] The rabbit visits the lion.[(triple4)]
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple2
The mouse is rough.
("mouse" "is" "rough" "+")
triple3
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple4