The bear chases the squirrel. The bear chases the tiger. The bear visits the mouse. The mouse is kind. The squirrel is nice. The squirrel needs the tiger. The tiger chases the mouse. If something is rough and it needs the mouse then it chases the squirrel. If something is round then it chases the tiger. If the tiger needs the mouse and the tiger visits the mouse then the mouse is green. If something is nice then it chases the bear. If something needs the squirrel then it is green. If something chases the squirrel then the squirrel visits the mouse.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
If something is rough and it needs the mouse then it chases the squirrel.
((("something" "is" "rough" "+") ("something" "needs" "mouse" "+")) -> ("something" "chases" "squirrel" "+"))
If something is round then it chases the tiger.
((("something" "is" "round" "+")) -> ("something" "chases" "tiger" "+"))
If the tiger needs the mouse and the tiger visits the mouse then the mouse is green.
((("tiger" "needs" "mouse" "+") ("tiger" "visits" "mouse" "+")) -> ("mouse" "is" "green" "+"))
If something is nice then it chases the bear.
((("something" "is" "nice" "+")) -> ("something" "chases" "bear" "+"))
If something needs the squirrel then it is green.
((("something" "needs" "squirrel" "+")) -> ("something" "is" "green" "+"))
If something chases the squirrel then the squirrel visits the mouse.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "visits" "mouse" "+"))
The bear chases the squirrel.
True
1
proof
[(triple1)]
("bear" "chases" "squirrel" "+")
triple1
The squirrel is not nice.
False
1
inv-proof
[(triple5)]
("squirrel" "is" "nice" "-")
triple5
The mouse is not green.
Unknown
inv-rconc
[@1: The mouse is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "green" "-")
The mouse needs the bear.
Unknown
random
[@0: The mouse needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "bear" "+")
@0: The bear chases the squirrel.[(triple1)] The bear chases the tiger.[(triple2)] The bear visits the mouse.[(triple3)] The mouse is kind.[(triple4)] The squirrel is nice.[(triple5)] The squirrel needs the tiger.[(triple6)] The tiger chases the mouse.[(triple7)] @1: The squirrel chases the bear.[(((triple5) -> rule4))] The squirrel visits the mouse.[(((triple1) -> rule6))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple2
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple3
The mouse is kind.
("mouse" "is" "kind" "+")
triple4
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple5
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple6
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple7
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
((triple5) -> (rule4 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
((triple1) -> (rule6 % int1))
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int1