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