The bear chases the mouse. The bear chases the squirrel. The bear is cold. The bear is nice. The bear is rough. The bear needs the mouse. The bear needs the squirrel. The bear sees the mouse. The bear sees the squirrel. The mouse chases the squirrel. The mouse is red. The mouse needs the bear. The mouse sees the squirrel. The squirrel is red. The squirrel is rough. The squirrel sees the mouse. If something chases the squirrel and it is red then it chases the bear. If something chases the bear then it needs the squirrel. If the bear chases the squirrel then the bear is red.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
If something chases the squirrel and it is red then it chases the bear.
((("something" "chases" "squirrel" "+") ("something" "is" "red" "+")) -> ("something" "chases" "bear" "+"))
If something chases the bear then it needs the squirrel.
((("something" "chases" "bear" "+")) -> ("something" "needs" "squirrel" "+"))
If the bear chases the squirrel then the bear is red.
((("bear" "chases" "squirrel" "+")) -> ("bear" "is" "red" "+"))
The mouse is red.
True
1
proof
[(triple11)]
("mouse" "is" "red" "+")
triple11
The bear does not see the mouse.
False
1
inv-proof
[(triple8)]
("bear" "sees" "mouse" "-")
triple8
The mouse chases the bear.
True
3
proof
[(((triple10 triple11) -> rule1))]
("mouse" "chases" "bear" "+")
((triple10 triple11) -> (rule1 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse does not chase the bear.
False
3
inv-proof
[(((triple10 triple11) -> rule1))]
("mouse" "chases" "bear" "-")
((triple10 triple11) -> (rule1 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse needs the squirrel.
True
4
proof
[(((((triple10 triple11) -> rule1)) -> rule2))]
("mouse" "needs" "squirrel" "+")
((((triple10 triple11) -> (rule1 % int2))) -> (rule2 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
The bear does not chase the bear.
False
4
inv-proof
[(((triple2 ((triple2) -> rule3)) -> rule1))]
("bear" "chases" "bear" "-")
((triple2 ((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@2: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel chases the bear.
Unknown
rconc
[@1: The squirrel chases the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "bear" "+")
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The squirrel sees the bear.
Unknown
random
[@0: The squirrel sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "bear" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The squirrel chases the mouse.
Unknown
random
[@0: The squirrel chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "mouse" "+")
@0: The bear chases the mouse.[(triple1)] The bear chases the squirrel.[(triple2)] The bear is cold.[(triple3)] The bear is nice.[(triple4)] The bear is rough.[(triple5)] The bear needs the mouse.[(triple6)] The bear needs the squirrel.[(triple7 OR ((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule2))] The bear sees the mouse.[(triple8)] The bear sees the squirrel.[(triple9)] The mouse chases the squirrel.[(triple10)] The mouse is red.[(triple11)] The mouse needs the bear.[(triple12)] The mouse sees the squirrel.[(triple13)] The squirrel is red.[(triple14)] The squirrel is rough.[(triple15)] The squirrel sees the mouse.[(triple16)] @1: The bear is red.[(((triple2) -> rule3))] The mouse chases the bear.[(((triple10 triple11) -> rule1))] @2: The bear chases the bear.[(((triple2 ((triple2) -> rule3)) -> rule1))] The mouse needs the squirrel.[(((((triple10 triple11) -> rule1)) -> rule2))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple6
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple7
((((triple2 ((triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple8
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple9
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple10
The mouse is red.
("mouse" "is" "red" "+")
triple11
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple12
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple13
The squirrel is red.
("squirrel" "is" "red" "+")
triple14
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple15
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple16
The bear is red.
("bear" "is" "red" "+")
((triple2) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
((triple10 triple11) -> (rule1 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple2 ((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
((((triple10 triple11) -> (rule1 % int2))) -> (rule2 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2