The mouse likes the rabbit. The rabbit eats the mouse. If someone is kind then they need the rabbit. If the mouse does not need the rabbit then the rabbit is not blue. If someone likes the rabbit and they eat the rabbit then the rabbit does not like the mouse. If the rabbit eats the mouse and the rabbit is not blue then the rabbit likes the mouse. If someone likes the rabbit and the rabbit likes the mouse then the rabbit does not eat the mouse. If someone eats the rabbit and the rabbit likes the mouse then the mouse is rough. If the mouse likes the rabbit and the mouse needs the rabbit then the mouse is rough. If someone likes the mouse then the mouse eats the rabbit.
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
If someone is kind then they need the rabbit.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "rabbit" "+"))
If the mouse does not need the rabbit then the rabbit is not blue.
((("mouse" "needs" "rabbit" "~")) -> ("rabbit" "is" "blue" "-"))
If someone likes the rabbit and they eat the rabbit then the rabbit does not like the mouse.
((("someone" "likes" "rabbit" "+") ("someone" "eats" "rabbit" "+")) -> ("rabbit" "likes" "mouse" "-"))
If the rabbit eats the mouse and the rabbit is not blue then the rabbit likes the mouse.
((("rabbit" "eats" "mouse" "+") ("rabbit" "is" "blue" "~")) -> ("rabbit" "likes" "mouse" "+"))
If someone likes the rabbit and the rabbit likes the mouse then the rabbit does not eat the mouse.
((("someone" "likes" "rabbit" "+") ("rabbit" "likes" "mouse" "+")) -> ("rabbit" "eats" "mouse" "-"))
If someone eats the rabbit and the rabbit likes the mouse then the mouse is rough.
((("someone" "eats" "rabbit" "+") ("rabbit" "likes" "mouse" "+")) -> ("mouse" "is" "rough" "+"))
If the mouse likes the rabbit and the mouse needs the rabbit then the mouse is rough.
((("mouse" "likes" "rabbit" "+") ("mouse" "needs" "rabbit" "+")) -> ("mouse" "is" "rough" "+"))
If someone likes the mouse then the mouse eats the rabbit.
((("someone" "likes" "mouse" "+")) -> ("mouse" "eats" "rabbit" "+"))
The rabbit eats the mouse.
True
1
proof
[(triple2)]
("rabbit" "eats" "mouse" "+")
triple2
The rabbit does not eat the mouse.
False
1
inv-proof
[(triple2)]
("rabbit" "eats" "mouse" "-")
triple2
The mouse is not rough.
Unknown
inv-rconc
[@2: The mouse is rough.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("mouse" "is" "rough" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The mouse likes the rabbit.[(triple1)] The rabbit eats the mouse.[(triple2)]
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple2