The lion likes the mouse. The mouse is nice. The squirrel needs the mouse. If something likes the lion then it likes the mouse. If something is big then it chases the squirrel. If something needs the lion and it is round then it likes the lion.
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If something likes the lion then it likes the mouse.
((("something" "likes" "lion" "+")) -> ("something" "likes" "mouse" "+"))
If something is big then it chases the squirrel.
((("something" "is" "big" "+")) -> ("something" "chases" "squirrel" "+"))
If something needs the lion and it is round then it likes the lion.
((("something" "needs" "lion" "+") ("something" "is" "round" "+")) -> ("something" "likes" "lion" "+"))
The mouse is nice.
True
1
proof
[(triple2)]
("mouse" "is" "nice" "+")
triple2
The mouse is not nice.
False
1
inv-proof
[(triple2)]
("mouse" "is" "nice" "-")
triple2
The squirrel does not like the mouse.
Unknown
inv-rconc
[@2: The squirrel likes the mouse.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("squirrel" "likes" "mouse" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
@0: The lion likes the mouse.[(triple1)] The mouse is nice.[(triple2)] The squirrel needs the mouse.[(triple3)]
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple1
The mouse is nice.
("mouse" "is" "nice" "+")
triple2
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple3