The bear eats the squirrel. The bear is big. The bear is kind. The bear is red. The bear is not young. The bear needs the squirrel. The bear sees the squirrel. The squirrel does not eat the bear. The squirrel is not kind. The squirrel is young. The squirrel needs the bear. The squirrel sees the bear. If someone sees the squirrel and they see the bear then the squirrel is not big. If the squirrel eats the bear then the bear is rough. If the bear needs the squirrel and the squirrel eats the bear then the squirrel sees the bear. If someone sees the bear then they are rough. If someone is rough then they see the squirrel. If someone sees the squirrel and they do not see the bear then the bear is kind. If someone needs the bear and the bear is not kind then the bear is not big. If someone is big and they do not see the squirrel then they eat the squirrel.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is not young.
("bear" "is" "young" "-")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If someone sees the squirrel and they see the bear then the squirrel is not big.
((("someone" "sees" "squirrel" "+") ("someone" "sees" "bear" "+")) -> ("squirrel" "is" "big" "-"))
If the squirrel eats the bear then the bear is rough.
((("squirrel" "eats" "bear" "+")) -> ("bear" "is" "rough" "+"))
If the bear needs the squirrel and the squirrel eats the bear then the squirrel sees the bear.
((("bear" "needs" "squirrel" "+") ("squirrel" "eats" "bear" "+")) -> ("squirrel" "sees" "bear" "+"))
If someone sees the bear then they are rough.
((("someone" "sees" "bear" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they see the squirrel.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone sees the squirrel and they do not see the bear then the bear is kind.
((("someone" "sees" "squirrel" "+") ("someone" "sees" "bear" "~")) -> ("bear" "is" "kind" "+"))
If someone needs the bear and the bear is not kind then the bear is not big.
((("someone" "needs" "bear" "+") ("bear" "is" "kind" "~")) -> ("bear" "is" "big" "-"))
If someone is big and they do not see the squirrel then they eat the squirrel.
((("someone" "is" "big" "+") ("someone" "sees" "squirrel" "~")) -> ("someone" "eats" "squirrel" "+"))
The bear is not young.
True
1
proof
[(triple5)]
("bear" "is" "young" "-")
triple5
The squirrel is kind.
False
1
inv-proof
[(triple9)]
("squirrel" "is" "kind" "+")
triple9
The squirrel is rough.
True
2
proof
[(((triple12) -> rule4))]
("squirrel" "is" "rough" "+")
((triple12) -> (rule4 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is not rough.
False
2
inv-proof
[(((triple12) -> rule4))]
("squirrel" "is" "rough" "-")
((triple12) -> (rule4 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel sees the squirrel.
True
3
proof
[(((((triple12) -> rule4)) -> rule5))]
("squirrel" "sees" "squirrel" "+")
((((triple12) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel does not see the squirrel.
False
3
inv-proof
[(((((triple12) -> rule4)) -> rule5))]
("squirrel" "sees" "squirrel" "-")
((((triple12) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel is not big.
True
5
proof
[(((((((triple12) -> rule4)) -> rule5) triple12) -> rule1))]
("squirrel" "is" "big" "-")
((((((triple12) -> (rule4 % int3))) -> (rule5 % int2)) triple12) -> (rule1 % int1))
The squirrel is not big.
("squirrel" "is" "big" "-")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel is big.
False
5
inv-proof
[(((((((triple12) -> rule4)) -> rule5) triple12) -> rule1))]
("squirrel" "is" "big" "+")
((((((triple12) -> (rule4 % int3))) -> (rule5 % int2)) triple12) -> (rule1 % int1))
The squirrel is not big.
("squirrel" "is" "big" "-")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The bear is rough.
Unknown
rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "rough" "+")
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 is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The bear eats the squirrel.[(triple1)] The bear is big.[(triple2)] The bear is kind.[(triple3)] The bear is not young.[(triple5)] The bear is red.[(triple4)] The bear needs the squirrel.[(triple6)] The bear sees the squirrel.[(triple7)] The squirrel does not eat the bear.[(triple8)] The squirrel is not kind.[(triple9)] The squirrel is young.[(triple10)] The squirrel needs the bear.[(triple11)] The squirrel sees the bear.[(triple12)] @1: The squirrel is rough.[(((triple12) -> rule4))] @2: The squirrel sees the squirrel.[(((((triple12) -> rule4)) -> rule5))] @3: The squirrel is not big.[(((((((triple12) -> rule4)) -> rule5) triple12) -> rule1))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is not young.
("bear" "is" "young" "-")
triple5
The bear is red.
("bear" "is" "red" "+")
triple4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple6
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple7
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
triple8
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple9
The squirrel is young.
("squirrel" "is" "young" "+")
triple10
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple11
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple12
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple12) -> (rule4 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((((triple12) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel is not big.
("squirrel" "is" "big" "-")
((((((triple12) -> (rule4 % int3))) -> (rule5 % int2)) triple12) -> (rule1 % int1))
The squirrel is not big.
("squirrel" "is" "big" "-")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3