The bear chases the mouse. The bear is cold. The bear needs the squirrel. The mouse eats the squirrel. The squirrel eats the mouse. The squirrel is big. The squirrel needs the bear. If something needs the bear then it needs the squirrel. If the bear chases the squirrel then the squirrel chases the mouse.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If something needs the bear then it needs the squirrel.
((("something" "needs" "bear" "+")) -> ("something" "needs" "squirrel" "+"))
If the bear chases the squirrel then the squirrel chases the mouse.
((("bear" "chases" "squirrel" "+")) -> ("squirrel" "chases" "mouse" "+"))
The squirrel needs the bear.
True
1
proof
[(triple7)]
("squirrel" "needs" "bear" "+")
triple7
The bear is not cold.
False
1
inv-proof
[(triple2)]
("bear" "is" "cold" "-")
triple2
The mouse does not need the squirrel.
Unknown
inv-rconc
[@1: The mouse needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "needs" "squirrel" "-")
The mouse eats the bear.
Unknown
random
[@0: The mouse eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bear" "+")
@0: The bear chases the mouse.[(triple1)] The bear is cold.[(triple2)] The bear needs the squirrel.[(triple3)] The mouse eats the squirrel.[(triple4)] The squirrel eats the mouse.[(triple5)] The squirrel is big.[(triple6)] The squirrel needs the bear.[(triple7)] @1: The squirrel needs the squirrel.[(((triple7) -> rule1))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple3
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple4
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple5
The squirrel is big.
("squirrel" "is" "big" "+")
triple6
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple7
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple7) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1