The lion needs the mouse. The mouse needs the lion. If someone likes the lion and the lion is red then the lion is not kind. If someone is cold and they see the lion then the lion likes the mouse. If someone needs the lion then the lion sees the mouse. If the mouse is big and the mouse needs the lion then the lion needs the mouse. If the lion is big then the lion does not need the mouse. If someone likes the mouse and the mouse is not green then they need the mouse.
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
If someone likes the lion and the lion is red then the lion is not kind.
((("someone" "likes" "lion" "+") ("lion" "is" "red" "+")) -> ("lion" "is" "kind" "-"))
If someone is cold and they see the lion then the lion likes the mouse.
((("someone" "is" "cold" "+") ("someone" "sees" "lion" "+")) -> ("lion" "likes" "mouse" "+"))
If someone needs the lion then the lion sees the mouse.
((("someone" "needs" "lion" "+")) -> ("lion" "sees" "mouse" "+"))
If the mouse is big and the mouse needs the lion then the lion needs the mouse.
((("mouse" "is" "big" "+") ("mouse" "needs" "lion" "+")) -> ("lion" "needs" "mouse" "+"))
If the lion is big then the lion does not need the mouse.
((("lion" "is" "big" "+")) -> ("lion" "needs" "mouse" "-"))
If someone likes the mouse and the mouse is not green then they need the mouse.
((("someone" "likes" "mouse" "+") ("mouse" "is" "green" "~")) -> ("someone" "needs" "mouse" "+"))
The lion needs the mouse.
True
1
proof
[(triple1)]
("lion" "needs" "mouse" "+")
triple1
The mouse does not need the lion.
False
1
inv-proof
[(triple2)]
("mouse" "needs" "lion" "-")
triple2
The mouse does not need the mouse.
Unknown
inv-rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "needs" "mouse" "-")
The mouse sees the lion.
Unknown
random
[@0: The mouse sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "lion" "+")
@0: The lion needs the mouse.[(triple1)] The mouse needs the lion.[(triple2)] @1: The lion sees the mouse.[(((triple2) -> rule3))]
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple1
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple2
The lion sees the mouse.
("lion" "sees" "mouse" "+")
((triple2) -> (rule3 % int1))
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int1