The mouse is red. The squirrel needs the mouse. If something is kind and it needs the squirrel then it is nice. If something likes the squirrel then the squirrel is kind. If something likes the squirrel then it chases the mouse. If the mouse chases the squirrel then the squirrel chases the mouse. If something is red and it chases the squirrel then the squirrel needs the mouse. If something needs the squirrel and the squirrel chases the mouse then the mouse likes the squirrel. If something likes the mouse then it likes the squirrel. If something needs the squirrel and the squirrel is green then the squirrel needs the mouse.
The mouse is red.
("mouse" "is" "red" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If something is kind and it needs the squirrel then it is nice.
((("something" "is" "kind" "+") ("something" "needs" "squirrel" "+")) -> ("something" "is" "nice" "+"))
If something likes the squirrel then the squirrel is kind.
((("something" "likes" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
If something likes the squirrel then it chases the mouse.
((("something" "likes" "squirrel" "+")) -> ("something" "chases" "mouse" "+"))
If the mouse chases the squirrel then the squirrel chases the mouse.
((("mouse" "chases" "squirrel" "+")) -> ("squirrel" "chases" "mouse" "+"))
If something is red and it chases the squirrel then the squirrel needs the mouse.
((("something" "is" "red" "+") ("something" "chases" "squirrel" "+")) -> ("squirrel" "needs" "mouse" "+"))
If something needs the squirrel and the squirrel chases the mouse then the mouse likes the squirrel.
((("something" "needs" "squirrel" "+") ("squirrel" "chases" "mouse" "+")) -> ("mouse" "likes" "squirrel" "+"))
If something likes the mouse then it likes the squirrel.
((("something" "likes" "mouse" "+")) -> ("something" "likes" "squirrel" "+"))
If something needs the squirrel and the squirrel is green then the squirrel needs the mouse.
((("something" "needs" "squirrel" "+") ("squirrel" "is" "green" "+")) -> ("squirrel" "needs" "mouse" "+"))
The mouse is red.
True
1
proof
[(triple1)]
("mouse" "is" "red" "+")
triple1
The mouse is not red.
False
1
inv-proof
[(triple1)]
("mouse" "is" "red" "-")
triple1
The mouse does not like the squirrel.
Unknown
inv-rconc
[@1: The mouse likes the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "likes" "squirrel" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
@0: The mouse is red.[(triple1)] The squirrel needs the mouse.[(triple2)]
The mouse is red.
("mouse" "is" "red" "+")
triple1
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple2