The cow visits the mouse. The dog is cold. The mouse visits the squirrel. The squirrel needs the cow. If something is blue and it does not like the mouse then the mouse is blue.
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The dog is cold.
("dog" "is" "cold" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If something is blue and it does not like the mouse then the mouse is blue.
((("something" "is" "blue" "+") ("something" "likes" "mouse" "~")) -> ("mouse" "is" "blue" "+"))
The cow visits the mouse.
True
1
proof
[(triple1)]
("cow" "visits" "mouse" "+")
triple1
The mouse does not visit the squirrel.
False
1
inv-proof
[(triple3)]
("mouse" "visits" "squirrel" "-")
triple3
The mouse is not blue.
Unknown
inv-rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "blue" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
@0: The cow visits the mouse.[(triple1)] The dog is cold.[(triple2)] The mouse visits the squirrel.[(triple3)] The squirrel needs the cow.[(triple4)]
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple3
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple4