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