The bear chases the mouse. The bear chases the squirrel. The bear eats the mouse. The bear does not eat the squirrel. The bear is big. The bear is kind. The bear is not nice. The bear needs the mouse. The bear needs the squirrel. The mouse does not chase the bear. The mouse eats the bear. The mouse is nice. The mouse needs the squirrel. The squirrel does not chase the mouse. The squirrel is big. The squirrel is not cold. If the mouse chases the squirrel and the squirrel is red then the squirrel does not need the bear. If someone needs the squirrel and the squirrel is red then they eat the bear.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
The bear is big.
("bear" "is" "big" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The mouse does not chase the bear.
("mouse" "chases" "bear" "-")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is not cold.
("squirrel" "is" "cold" "-")
If the mouse chases the squirrel and the squirrel is red then the squirrel does not need the bear.
((("mouse" "chases" "squirrel" "+") ("squirrel" "is" "red" "+")) -> ("squirrel" "needs" "bear" "-"))
If someone needs the squirrel and the squirrel is red then they eat the bear.
((("someone" "needs" "squirrel" "+") ("squirrel" "is" "red" "+")) -> ("someone" "eats" "bear" "+"))
The squirrel is big.
True
1
proof
[(triple15)]
("squirrel" "is" "big" "+")
triple15
The bear does not need the squirrel.
False
1
inv-proof
[(triple9)]
("bear" "needs" "squirrel" "-")
triple9
The squirrel does not eat the bear.
Unknown
inv-rconc
[@1: The squirrel eats the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "bear" "-")
The squirrel eats the mouse.
Unknown
random
[@0: The squirrel eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "mouse" "+")
@0: The bear chases the mouse.[(triple1)] The bear chases the squirrel.[(triple2)] The bear does not eat the squirrel.[(triple4)] The bear eats the mouse.[(triple3)] The bear is big.[(triple5)] The bear is kind.[(triple6)] The bear is not nice.[(triple7)] The bear needs the mouse.[(triple8)] The bear needs the squirrel.[(triple9)] The mouse does not chase the bear.[(triple10)] The mouse eats the bear.[(triple11)] The mouse is nice.[(triple12)] The mouse needs the squirrel.[(triple13)] The squirrel does not chase the mouse.[(triple14)] The squirrel is big.[(triple15)] The squirrel is not cold.[(triple16)]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
triple4
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
triple5
The bear is kind.
("bear" "is" "kind" "+")
triple6
The bear is not nice.
("bear" "is" "nice" "-")
triple7
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple8
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple9
The mouse does not chase the bear.
("mouse" "chases" "bear" "-")
triple10
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple11
The mouse is nice.
("mouse" "is" "nice" "+")
triple12
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple13
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
triple14
The squirrel is big.
("squirrel" "is" "big" "+")
triple15
The squirrel is not cold.
("squirrel" "is" "cold" "-")
triple16