The lion visits the mouse. The mouse is cold. The mouse visits the lion. The tiger is nice. The tiger likes the lion. The tiger needs the lion. The tiger needs the mouse. If something is blue and it needs the mouse then it is nice. If something likes the tiger and it visits the mouse then it is nice.
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
If something is blue and it needs the mouse then it is nice.
((("something" "is" "blue" "+") ("something" "needs" "mouse" "+")) -> ("something" "is" "nice" "+"))
If something likes the tiger and it visits the mouse then it is nice.
((("something" "likes" "tiger" "+") ("something" "visits" "mouse" "+")) -> ("something" "is" "nice" "+"))
The tiger needs the lion.
True
1
proof
[(triple6)]
("tiger" "needs" "lion" "+")
triple6
The mouse does not visit the lion.
False
1
inv-proof
[(triple3)]
("mouse" "visits" "lion" "-")
triple3
The lion is not nice.
Unknown
inv-rconc
[@1: The lion is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "nice" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
@0: The lion visits the mouse.[(triple1)] The mouse is cold.[(triple2)] The mouse visits the lion.[(triple3)] The tiger is nice.[(triple4)] The tiger likes the lion.[(triple5)] The tiger needs the lion.[(triple6)] The tiger needs the mouse.[(triple7)]
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple1
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple3
The tiger is nice.
("tiger" "is" "nice" "+")
triple4
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple5
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple6
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple7