The lion is red. The lion is young. The lion likes the rabbit. The lion needs the rabbit. The lion visits the rabbit. The mouse is big. The mouse is red. The mouse likes the rabbit. The mouse visits the lion. The rabbit is blue. The rabbit does not need the lion. The rabbit needs the mouse. If the lion does not like the mouse and the lion does not visit the rabbit then the rabbit needs the mouse. If someone visits the mouse then the mouse visits the rabbit.
The lion is red.
("lion" "is" "red" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit does not need the lion.
("rabbit" "needs" "lion" "-")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
If the lion does not like the mouse and the lion does not visit the rabbit then the rabbit needs the mouse.
((("lion" "likes" "mouse" "~") ("lion" "visits" "rabbit" "~")) -> ("rabbit" "needs" "mouse" "+"))
If someone visits the mouse then the mouse visits the rabbit.
((("someone" "visits" "mouse" "+")) -> ("mouse" "visits" "rabbit" "+"))
The mouse is big.
True
1
proof
[(triple6)]
("mouse" "is" "big" "+")
triple6
The lion is not young.
False
1
inv-proof
[(triple2)]
("lion" "is" "young" "-")
triple2
The mouse does not visit the rabbit.
Unknown
inv-rconc
[@1: The mouse visits the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "visits" "rabbit" "-")
The lion is big.
Unknown
random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "+")
@0: The lion is red.[(triple1)] The lion is young.[(triple2)] The lion likes the rabbit.[(triple3)] The lion needs the rabbit.[(triple4)] The lion visits the rabbit.[(triple5)] The mouse is big.[(triple6)] The mouse is red.[(triple7)] The mouse likes the rabbit.[(triple8)] The mouse visits the lion.[(triple9)] The rabbit does not need the lion.[(triple11)] The rabbit is blue.[(triple10)] The rabbit needs the mouse.[(triple12)]
The lion is red.
("lion" "is" "red" "+")
triple1
The lion is young.
("lion" "is" "young" "+")
triple2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple3
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple4
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple5
The mouse is big.
("mouse" "is" "big" "+")
triple6
The mouse is red.
("mouse" "is" "red" "+")
triple7
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple8
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple9
The rabbit does not need the lion.
("rabbit" "needs" "lion" "-")
triple11
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple12