The mouse does not eat the rabbit. The mouse is blue. The mouse is not rough. The mouse needs the rabbit. The rabbit eats the mouse. The rabbit likes the mouse. The rabbit needs the mouse. If something needs the mouse then the mouse likes the rabbit. If something is round then it is blue. If the rabbit needs the mouse and the rabbit is kind then the mouse eats the rabbit. If something is rough and it eats the rabbit then it likes the rabbit. If something eats the rabbit and it is kind then it needs the mouse. If something is rough and it likes the mouse then it is cold. If the mouse is not cold then the mouse needs the rabbit. If the rabbit eats the mouse and the mouse does not like the rabbit then the rabbit is cold.
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is not rough.
("mouse" "is" "rough" "-")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
If something needs the mouse then the mouse likes the rabbit.
((("something" "needs" "mouse" "+")) -> ("mouse" "likes" "rabbit" "+"))
If something is round then it is blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If the rabbit needs the mouse and the rabbit is kind then the mouse eats the rabbit.
((("rabbit" "needs" "mouse" "+") ("rabbit" "is" "kind" "+")) -> ("mouse" "eats" "rabbit" "+"))
If something is rough and it eats the rabbit then it likes the rabbit.
((("something" "is" "rough" "+") ("something" "eats" "rabbit" "+")) -> ("something" "likes" "rabbit" "+"))
If something eats the rabbit and it is kind then it needs the mouse.
((("something" "eats" "rabbit" "+") ("something" "is" "kind" "+")) -> ("something" "needs" "mouse" "+"))
If something is rough and it likes the mouse then it is cold.
((("something" "is" "rough" "+") ("something" "likes" "mouse" "+")) -> ("something" "is" "cold" "+"))
If the mouse is not cold then the mouse needs the rabbit.
((("mouse" "is" "cold" "~")) -> ("mouse" "needs" "rabbit" "+"))
If the rabbit eats the mouse and the mouse does not like the rabbit then the rabbit is cold.
((("rabbit" "eats" "mouse" "+") ("mouse" "likes" "rabbit" "~")) -> ("rabbit" "is" "cold" "+"))
The mouse is not rough.
True
1
proof
[(triple3)]
("mouse" "is" "rough" "-")
triple3
The rabbit does not like the mouse.
False
1
inv-proof
[(triple6)]
("rabbit" "likes" "mouse" "-")
triple6
The mouse likes the rabbit.
True
2
proof
[(((triple7) -> rule1))]
("mouse" "likes" "rabbit" "+")
((triple7) -> (rule1 % int1))
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int1
The mouse does not like the rabbit.
False
2
inv-proof
[(((triple7) -> rule1))]
("mouse" "likes" "rabbit" "-")
((triple7) -> (rule1 % int1))
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int1
The rabbit is not blue.
Unknown
inv-rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "blue" "-")
The mouse needs the mouse.
Unknown
rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "needs" "mouse" "+")
The mouse is not kind.
Unknown
inv-random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
@0: The mouse does not eat the rabbit.[(triple1)] The mouse is blue.[(triple2)] The mouse is not rough.[(triple3)] The mouse needs the rabbit.[(triple4)] The rabbit eats the mouse.[(triple5)] The rabbit likes the mouse.[(triple6)] The rabbit needs the mouse.[(triple7)] @1: The mouse likes the rabbit.[(((triple7) -> rule1))]
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
triple1
The mouse is blue.
("mouse" "is" "blue" "+")
triple2
The mouse is not rough.
("mouse" "is" "rough" "-")
triple3
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple4
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple5
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple6
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple7
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
((triple7) -> (rule1 % int1))
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int1