The bear is red. The bear needs the mouse. The bear needs the squirrel. The bear sees the rabbit. The mouse is rough. The mouse is round. The mouse does not need the bear. The rabbit is not rough. The squirrel eats the mouse. The squirrel is rough. The squirrel is round. The squirrel is young. If something is green and it needs the mouse then it is rough. If something sees the squirrel and it eats the bear then the squirrel is young. If something eats the rabbit and the rabbit does not eat the squirrel then it sees the rabbit. If something sees the rabbit and it does not see the bear then the bear is red. If something is rough and it does not need the bear then the bear is green. If something is rough then it eats the bear.
The bear is red.
("bear" "is" "red" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse does not need the bear.
("mouse" "needs" "bear" "-")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If something is green and it needs the mouse then it is rough.
((("something" "is" "green" "+") ("something" "needs" "mouse" "+")) -> ("something" "is" "rough" "+"))
If something sees the squirrel and it eats the bear then the squirrel is young.
((("something" "sees" "squirrel" "+") ("something" "eats" "bear" "+")) -> ("squirrel" "is" "young" "+"))
If something eats the rabbit and the rabbit does not eat the squirrel then it sees the rabbit.
((("something" "eats" "rabbit" "+") ("rabbit" "eats" "squirrel" "~")) -> ("something" "sees" "rabbit" "+"))
If something sees the rabbit and it does not see the bear then the bear is red.
((("something" "sees" "rabbit" "+") ("something" "sees" "bear" "~")) -> ("bear" "is" "red" "+"))
If something is rough and it does not need the bear then the bear is green.
((("something" "is" "rough" "+") ("something" "needs" "bear" "~")) -> ("bear" "is" "green" "+"))
If something is rough then it eats the bear.
((("something" "is" "rough" "+")) -> ("something" "eats" "bear" "+"))
The mouse does not need the bear.
True
1
proof
[(triple7)]
("mouse" "needs" "bear" "-")
triple7
The squirrel does not eat the mouse.
False
1
inv-proof
[(triple9)]
("squirrel" "eats" "mouse" "-")
triple9
The mouse eats the bear.
True
2
proof
[(((triple5) -> rule6))]
("mouse" "eats" "bear" "+")
((triple5) -> (rule6 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The squirrel does not eat the bear.
False
2
inv-proof
[(((triple10) -> rule6))]
("squirrel" "eats" "bear" "-")
((triple10) -> (rule6 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The bear is rough.
True
5
proof
[(((((triple5 triple7) -> rule5) triple2) -> rule1))]
("bear" "is" "rough" "+")
((((triple5 triple7) -> (rule5 % int2)) triple2) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is not rough.
False
5
inv-proof
[(((((triple5 triple7) -> rule5) triple2) -> rule1))]
("bear" "is" "rough" "-")
((((triple5 triple7) -> (rule5 % int2)) triple2) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear eats the bear.
True
6
proof
[(((((((triple5 triple7) -> rule5) triple2) -> rule1)) -> rule6))]
("bear" "eats" "bear" "+")
((((((triple5 triple7) -> (rule5 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bear does not eat the bear.
False
6
inv-proof
[(((((((triple5 triple7) -> rule5) triple2) -> rule1)) -> rule6))]
("bear" "eats" "bear" "-")
((((((triple5 triple7) -> (rule5 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The rabbit does not see the rabbit.
Unknown
inv-rconc
[@1: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "sees" "rabbit" "-")
The mouse sees the rabbit.
Unknown
rconc
[@1: The mouse sees the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "sees" "rabbit" "+")
The squirrel does not see the rabbit.
Unknown
inv-rconc
[@1: The squirrel sees the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "sees" "rabbit" "-")
The rabbit eats the bear.
Unknown
rconc
[@1: The rabbit eats the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "eats" "bear" "+")
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
The squirrel does not see the bear.
Unknown
inv-random
[@0: The squirrel sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "bear" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The bear is red.[(triple1)] The bear needs the mouse.[(triple2)] The bear needs the squirrel.[(triple3)] The bear sees the rabbit.[(triple4)] The mouse does not need the bear.[(triple7)] The mouse is rough.[(triple5)] The mouse is round.[(triple6)] The rabbit is not rough.[(triple8)] The squirrel eats the mouse.[(triple9)] The squirrel is rough.[(triple10)] The squirrel is round.[(triple11)] The squirrel is young.[(triple12)] @1: The bear is green.[(((triple5 triple7) -> rule5))] The mouse eats the bear.[(((triple5) -> rule6))] The squirrel eats the bear.[(((triple10) -> rule6))] @2: The bear is rough.[(((((triple5 triple7) -> rule5) triple2) -> rule1))] @3: The bear eats the bear.[(((((((triple5 triple7) -> rule5) triple2) -> rule1)) -> rule6))]
The bear is red.
("bear" "is" "red" "+")
triple1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple4
The mouse does not need the bear.
("mouse" "needs" "bear" "-")
triple7
The mouse is rough.
("mouse" "is" "rough" "+")
triple5
The mouse is round.
("mouse" "is" "round" "+")
triple6
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple8
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple9
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple10
The squirrel is round.
("squirrel" "is" "round" "+")
triple11
The squirrel is young.
("squirrel" "is" "young" "+")
triple12
The bear is green.
("bear" "is" "green" "+")
((triple5 triple7) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The mouse eats the bear.
("mouse" "eats" "bear" "+")
((triple5) -> (rule6 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
((triple10) -> (rule6 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
((((triple5 triple7) -> (rule5 % int2)) triple2) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
((((((triple5 triple7) -> (rule5 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3