The bear is not big. The bear likes the squirrel. The squirrel is kind. The squirrel likes the bear. The squirrel does not need the tiger. The tiger chases the bear. The tiger does not chase the squirrel. The tiger is rough. The tiger is not young. The tiger likes the squirrel. The tiger needs the bear. The tiger needs the squirrel. If someone needs the bear then the bear is not rough.
The bear is not big.
("bear" "is" "big" "-")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel does not need the tiger.
("squirrel" "needs" "tiger" "-")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is not young.
("tiger" "is" "young" "-")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone needs the bear then the bear is not rough.
((("someone" "needs" "bear" "+")) -> ("bear" "is" "rough" "-"))
The tiger needs the squirrel.
True
1
proof
[(triple12)]
("tiger" "needs" "squirrel" "+")
triple12
The squirrel needs the tiger.
False
1
inv-proof
[(triple5)]
("squirrel" "needs" "tiger" "+")
triple5
The bear is not rough.
True
2
proof
[(((triple11) -> rule1))]
("bear" "is" "rough" "-")
((triple11) -> (rule1 % int1))
The bear is not rough.
("bear" "is" "rough" "-")
int1
The bear is rough.
False
2
inv-proof
[(((triple11) -> rule1))]
("bear" "is" "rough" "+")
((triple11) -> (rule1 % int1))
The bear is not rough.
("bear" "is" "rough" "-")
int1
The tiger is not big.
Unknown
inv-random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "-")
The squirrel needs the bear.
Unknown
random
[@0: The squirrel needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bear" "+")
The bear does not like the tiger.
Unknown
inv-random
[@0: The bear likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "tiger" "-")
The squirrel chases the bear.
Unknown
random
[@0: The squirrel chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bear" "+")
@0: The bear is not big.[(triple1)] The bear likes the squirrel.[(triple2)] The squirrel does not need the tiger.[(triple5)] The squirrel is kind.[(triple3)] The squirrel likes the bear.[(triple4)] The tiger chases the bear.[(triple6)] The tiger does not chase the squirrel.[(triple7)] The tiger is not young.[(triple9)] The tiger is rough.[(triple8)] The tiger likes the squirrel.[(triple10)] The tiger needs the bear.[(triple11)] The tiger needs the squirrel.[(triple12)] @1: The bear is not rough.[(((triple11) -> rule1))]
The bear is not big.
("bear" "is" "big" "-")
triple1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple2
The squirrel does not need the tiger.
("squirrel" "needs" "tiger" "-")
triple5
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple3
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple4
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple6
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
triple7
The tiger is not young.
("tiger" "is" "young" "-")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple8
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple10
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple11
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple12
The bear is not rough.
("bear" "is" "rough" "-")
((triple11) -> (rule1 % int1))
The bear is not rough.
("bear" "is" "rough" "-")
int1