The bear is green. The bear visits the mouse. The lion chases the squirrel. The lion needs the squirrel. The mouse chases the lion. The mouse is big. The mouse is kind. The mouse visits the squirrel. The squirrel is cold. The squirrel is nice. If someone visits the lion and they need the bear then they need the squirrel. If someone is kind then they chase the squirrel. If someone chases the bear then they are nice.
The bear is green.
("bear" "is" "green" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
If someone visits the lion and they need the bear then they need the squirrel.
((("someone" "visits" "lion" "+") ("someone" "needs" "bear" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone is kind then they chase the squirrel.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone chases the bear then they are nice.
((("someone" "chases" "bear" "+")) -> ("someone" "is" "nice" "+"))
The lion chases the squirrel.
True
1
proof
[(triple3)]
("lion" "chases" "squirrel" "+")
triple3
The bear is not green.
False
1
inv-proof
[(triple1)]
("bear" "is" "green" "-")
triple1
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "nice" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
@0: The bear is green.[(triple1)] The bear visits the mouse.[(triple2)] The lion chases the squirrel.[(triple3)] The lion needs the squirrel.[(triple4)] The mouse chases the lion.[(triple5)] The mouse is big.[(triple6)] The mouse is kind.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is nice.[(triple10)] @1: The mouse chases the squirrel.[(((triple7) -> rule2))]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple2
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple4
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple5
The mouse is big.
("mouse" "is" "big" "+")
triple6
The mouse is kind.
("mouse" "is" "kind" "+")
triple7
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple8
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple9
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple10
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
((triple7) -> (rule2 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1