The bear is big. The bear is not rough. The bear likes the squirrel. The bear needs the squirrel. The bear does not see the squirrel. The squirrel is rough. The squirrel is round. The squirrel likes the bear. The squirrel needs the bear. The squirrel sees the bear. If someone is rough and nice then they need the squirrel. If someone needs the squirrel and they are big then they are green. If someone likes the bear and the bear is round then they are round. If someone needs the squirrel and the squirrel does not like the bear then they like the squirrel. If someone needs the bear and the bear likes the squirrel then the squirrel is nice. If someone is nice and they do not like the squirrel then the squirrel is round.
The bear is big.
("bear" "is" "big" "+")
The bear is not rough.
("bear" "is" "rough" "-")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear does not see the squirrel.
("bear" "sees" "squirrel" "-")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If someone is rough and nice then they need the squirrel.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone needs the squirrel and they are big then they are green.
((("someone" "needs" "squirrel" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone likes the bear and the bear is round then they are round.
((("someone" "likes" "bear" "+") ("bear" "is" "round" "+")) -> ("someone" "is" "round" "+"))
If someone needs the squirrel and the squirrel does not like the bear then they like the squirrel.
((("someone" "needs" "squirrel" "+") ("squirrel" "likes" "bear" "~")) -> ("someone" "likes" "squirrel" "+"))
If someone needs the bear and the bear likes the squirrel then the squirrel is nice.
((("someone" "needs" "bear" "+") ("bear" "likes" "squirrel" "+")) -> ("squirrel" "is" "nice" "+"))
If someone is nice and they do not like the squirrel then the squirrel is round.
((("someone" "is" "nice" "+") ("someone" "likes" "squirrel" "~")) -> ("squirrel" "is" "round" "+"))
The bear likes the squirrel.
True
1
proof
[(triple3)]
("bear" "likes" "squirrel" "+")
triple3
The bear does not need the squirrel.
False
1
inv-proof
[(triple4)]
("bear" "needs" "squirrel" "-")
triple4
The squirrel is nice.
True
3
proof
[(((triple9 triple3) -> rule5))]
("squirrel" "is" "nice" "+")
((triple9 triple3) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The bear is not green.
False
3
inv-proof
[(((triple4 triple1) -> rule2))]
("bear" "is" "green" "-")
((triple4 triple1) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The squirrel needs the squirrel.
True
5
proof
[(((triple6 ((triple9 triple3) -> rule5)) -> rule1))]
("squirrel" "needs" "squirrel" "+")
((triple6 ((triple9 triple3) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel does not need the squirrel.
False
5
inv-proof
[(((triple6 ((triple9 triple3) -> rule5)) -> rule1))]
("squirrel" "needs" "squirrel" "-")
((triple6 ((triple9 triple3) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "green" "-")
The squirrel likes the squirrel.
Unknown
rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "likes" "squirrel" "+")
The bear is not round.
Unknown
inv-rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "round" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The squirrel is big.
Unknown
random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "+")
@0: The bear does not see the squirrel.[(triple5)] The bear is big.[(triple1)] The bear is not rough.[(triple2)] The bear likes the squirrel.[(triple3)] The bear needs the squirrel.[(triple4)] The squirrel is rough.[(triple6)] The squirrel is round.[(triple7)] The squirrel likes the bear.[(triple8)] The squirrel needs the bear.[(triple9)] The squirrel sees the bear.[(triple10)] @1: The bear is green.[(((triple4 triple1) -> rule2))] The squirrel is nice.[(((triple9 triple3) -> rule5))] @2: The squirrel needs the squirrel.[(((triple6 ((triple9 triple3) -> rule5)) -> rule1))]
The bear does not see the squirrel.
("bear" "sees" "squirrel" "-")
triple5
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is not rough.
("bear" "is" "rough" "-")
triple2
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple4
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple6
The squirrel is round.
("squirrel" "is" "round" "+")
triple7
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple8
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple9
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple10
The bear is green.
("bear" "is" "green" "+")
((triple4 triple1) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple9 triple3) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple6 ((triple9 triple3) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2