The lion needs the squirrel. The mouse is not young. The rabbit is cold. The squirrel chases the mouse. If something likes the squirrel and it chases the rabbit then the squirrel is cold. If the squirrel chases the mouse and the squirrel does not need the mouse then the squirrel likes the mouse. If something likes the rabbit then the rabbit is red. If something is young and it needs the mouse then the mouse does not chase the lion. Young things are not kind. If something chases the lion and the lion is not red then the lion does not chase the squirrel.
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The mouse is not young.
("mouse" "is" "young" "-")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
If something likes the squirrel and it chases the rabbit then the squirrel is cold.
((("something" "likes" "squirrel" "+") ("something" "chases" "rabbit" "+")) -> ("squirrel" "is" "cold" "+"))
If the squirrel chases the mouse and the squirrel does not need the mouse then the squirrel likes the mouse.
((("squirrel" "chases" "mouse" "+") ("squirrel" "needs" "mouse" "~")) -> ("squirrel" "likes" "mouse" "+"))
If something likes the rabbit then the rabbit is red.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "is" "red" "+"))
If something is young and it needs the mouse then the mouse does not chase the lion.
((("something" "is" "young" "+") ("something" "needs" "mouse" "+")) -> ("mouse" "chases" "lion" "-"))
Young things are not kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "-"))
If something chases the lion and the lion is not red then the lion does not chase the squirrel.
((("something" "chases" "lion" "+") ("lion" "is" "red" "~")) -> ("lion" "chases" "squirrel" "-"))
The squirrel chases the mouse.
True
1
proof
[(triple4)]
("squirrel" "chases" "mouse" "+")
triple4
The mouse is young.
False
1
inv-proof
[(triple2)]
("mouse" "is" "young" "+")
triple2
The rabbit is not red.
Unknown
inv-rconc
[@1: The rabbit is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "red" "-")
The mouse likes the lion.
Unknown
random
[@0: The mouse likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "lion" "+")
@0: The lion needs the squirrel.[(triple1)] The mouse is not young.[(triple2)] The rabbit is cold.[(triple3)] The squirrel chases the mouse.[(triple4)]
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple1
The mouse is not young.
("mouse" "is" "young" "-")
triple2
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple3
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple4