The bear eats the squirrel. The bear is red. The bear is not rough. The mouse eats the squirrel. The mouse does not need the squirrel. The squirrel does not eat the mouse. The squirrel is nice. The squirrel is rough. The squirrel needs the mouse. The squirrel does not visit the mouse. If someone eats the squirrel then they are blue. If someone is blue and red then they need the bear.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is not rough.
("bear" "is" "rough" "-")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse does not need the squirrel.
("mouse" "needs" "squirrel" "-")
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel does not visit the mouse.
("squirrel" "visits" "mouse" "-")
If someone eats the squirrel then they are blue.
((("someone" "eats" "squirrel" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and red then they need the bear.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "needs" "bear" "+"))
The bear eats the squirrel.
True
1
proof
[(triple1)]
("bear" "eats" "squirrel" "+")
triple1
The bear does not eat the squirrel.
False
1
inv-proof
[(triple1)]
("bear" "eats" "squirrel" "-")
triple1
The bear is blue.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is not blue.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "blue" "-")
((triple1) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear needs the bear.
True
4
proof
[(((((triple1) -> rule1) triple2) -> rule2))]
("bear" "needs" "bear" "+")
((((triple1) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear does not need the bear.
False
4
inv-proof
[(((((triple1) -> rule1) triple2) -> rule2))]
("bear" "needs" "bear" "-")
((((triple1) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The squirrel does not need the bear.
Unknown
inv-rconc
[@1: The squirrel needs the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "needs" "bear" "-")
The squirrel is blue.
Unknown
rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "blue" "+")
The mouse does not need the bear.
Unknown
inv-rconc
[@1: The mouse needs the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "needs" "bear" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
The mouse does not visit the squirrel.
Unknown
inv-random
[@0: The mouse visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "squirrel" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear eats the squirrel.[(triple1)] The bear is not rough.[(triple3)] The bear is red.[(triple2)] The mouse does not need the squirrel.[(triple5)] The mouse eats the squirrel.[(triple4)] The squirrel does not eat the mouse.[(triple6)] The squirrel does not visit the mouse.[(triple10)] The squirrel is nice.[(triple7)] The squirrel is rough.[(triple8)] The squirrel needs the mouse.[(triple9)] @1: The bear is blue.[(((triple1) -> rule1))] The mouse is blue.[(((triple4) -> rule1))] @2: The bear needs the bear.[(((((triple1) -> rule1) triple2) -> rule2))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear is not rough.
("bear" "is" "rough" "-")
triple3
The bear is red.
("bear" "is" "red" "+")
triple2
The mouse does not need the squirrel.
("mouse" "needs" "squirrel" "-")
triple5
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple4
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
triple6
The squirrel does not visit the mouse.
("squirrel" "visits" "mouse" "-")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple7
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple8
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple9
The bear is blue.
("bear" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
((triple4) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
((((triple1) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2