The lion is red. The mouse eats the lion. The squirrel needs the mouse. If someone chases the squirrel and the squirrel needs the lion then they chase the lion. If someone eats the lion then the lion chases the squirrel. If the mouse chases the squirrel then the squirrel chases the lion. If someone chases the lion then the lion needs the squirrel. If someone is nice then they chase the squirrel. If someone is nice then they chase the squirrel.
The lion is red.
("lion" "is" "red" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If someone chases the squirrel and the squirrel needs the lion then they chase the lion.
((("someone" "chases" "squirrel" "+") ("squirrel" "needs" "lion" "+")) -> ("someone" "chases" "lion" "+"))
If someone eats the lion then the lion chases the squirrel.
((("someone" "eats" "lion" "+")) -> ("lion" "chases" "squirrel" "+"))
If the mouse chases the squirrel then the squirrel chases the lion.
((("mouse" "chases" "squirrel" "+")) -> ("squirrel" "chases" "lion" "+"))
If someone chases the lion then the lion needs the squirrel.
((("someone" "chases" "lion" "+")) -> ("lion" "needs" "squirrel" "+"))
If someone is nice then they chase the squirrel.
((("someone" "is" "nice" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone is nice then they chase the squirrel.
((("someone" "is" "nice" "+")) -> ("someone" "chases" "squirrel" "+"))
The squirrel needs the mouse.
True
1
proof
[(triple3)]
("squirrel" "needs" "mouse" "+")
triple3
The squirrel does not need the mouse.
False
1
inv-proof
[(triple3)]
("squirrel" "needs" "mouse" "-")
triple3
The squirrel does not chase the lion.
Unknown
inv-rconc
[@2: The squirrel chases the lion.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("squirrel" "chases" "lion" "-")
The squirrel chases the mouse.
Unknown
random
[@0: The squirrel chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "mouse" "+")
@0: The lion is red.[(triple1)] The mouse eats the lion.[(triple2)] The squirrel needs the mouse.[(triple3)] @1: The lion chases the squirrel.[(((triple2) -> rule2))]
The lion is red.
("lion" "is" "red" "+")
triple1
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple2
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple3
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
((triple2) -> (rule2 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1