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