The bear needs the mouse. The bear needs the rabbit. The bear sees the rabbit. The bear sees the squirrel. The bear visits the mouse. The bear visits the squirrel. The mouse is young. The mouse needs the squirrel. The mouse visits the bear. The mouse visits the squirrel. The rabbit is nice. The rabbit visits the bear. The rabbit visits the mouse. The squirrel sees the mouse. The squirrel visits the rabbit. If something visits the rabbit then the rabbit needs the bear. If something sees the squirrel and the squirrel sees the mouse then the mouse visits the bear. If something sees the squirrel then it visits the bear.
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If something visits the rabbit then the rabbit needs the bear.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "needs" "bear" "+"))
If something sees the squirrel and the squirrel sees the mouse then the mouse visits the bear.
((("something" "sees" "squirrel" "+") ("squirrel" "sees" "mouse" "+")) -> ("mouse" "visits" "bear" "+"))
If something sees the squirrel then it visits the bear.
((("something" "sees" "squirrel" "+")) -> ("something" "visits" "bear" "+"))
The bear needs the mouse.
True
1
proof
[(triple1)]
("bear" "needs" "mouse" "+")
triple1
The mouse is not young.
False
1
inv-proof
[(triple7)]
("mouse" "is" "young" "-")
triple7
The squirrel does not visit the bear.
Unknown
inv-rconc
[@1: The squirrel visits the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "visits" "bear" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The bear needs the mouse.[(triple1)] The bear needs the rabbit.[(triple2)] The bear sees the rabbit.[(triple3)] The bear sees the squirrel.[(triple4)] The bear visits the mouse.[(triple5)] The bear visits the squirrel.[(triple6)] The mouse is young.[(triple7)] The mouse needs the squirrel.[(triple8)] The mouse visits the bear.[(triple9 OR ((triple4 triple14) -> rule2))] The mouse visits the squirrel.[(triple10)] The rabbit is nice.[(triple11)] The rabbit visits the bear.[(triple12)] The rabbit visits the mouse.[(triple13)] The squirrel sees the mouse.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The bear visits the bear.[(((triple4) -> rule3))] The rabbit needs the bear.[(((triple15) -> rule1))]
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple3
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple4
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple5
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple6
The mouse is young.
("mouse" "is" "young" "+")
triple7
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple8
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple9
((triple4 triple14) -> (rule2 % int1))
The mouse visits the bear.
("mouse" "visits" "bear" "+")
int1
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple10
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple11
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple12
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple13
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple14
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple15
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple4) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
((triple15) -> (rule1 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1