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