The bear is not kind. The bear needs the squirrel. The cow eats the bear. The cow is nice. The cow is young. The lion eats the cow. The lion is green. The lion is young. The squirrel does not eat the bear. The squirrel is big. The squirrel is green. The squirrel is young. The squirrel sees the bear. The squirrel sees the cow. The squirrel sees the lion. If something sees the lion then the lion is kind. If the squirrel is not kind then the squirrel does not need the bear.
The bear is not kind.
("bear" "is" "kind" "-")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is young.
("cow" "is" "young" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is young.
("lion" "is" "young" "+")
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If something sees the lion then the lion is kind.
((("something" "sees" "lion" "+")) -> ("lion" "is" "kind" "+"))
If the squirrel is not kind then the squirrel does not need the bear.
((("squirrel" "is" "kind" "~")) -> ("squirrel" "needs" "bear" "-"))
The squirrel is young.
True
1
proof
[(triple12)]
("squirrel" "is" "young" "+")
triple12
The cow is not nice.
False
1
inv-proof
[(triple4)]
("cow" "is" "nice" "-")
triple4
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The squirrel needs the cow.
Unknown
random
[@0: The squirrel needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "cow" "+")
@0: The bear is not kind.[(triple1)] The bear needs the squirrel.[(triple2)] The cow eats the bear.[(triple3)] The cow is nice.[(triple4)] The cow is young.[(triple5)] The lion eats the cow.[(triple6)] The lion is green.[(triple7)] The lion is young.[(triple8)] The squirrel does not eat the bear.[(triple9)] The squirrel is big.[(triple10)] The squirrel is green.[(triple11)] The squirrel is young.[(triple12)] The squirrel sees the bear.[(triple13)] The squirrel sees the cow.[(triple14)] The squirrel sees the lion.[(triple15)] @1: The lion is kind.[(((triple15) -> rule1))]
The bear is not kind.
("bear" "is" "kind" "-")
triple1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple2
The cow eats the bear.
("cow" "eats" "bear" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The lion eats the cow.
("lion" "eats" "cow" "+")
triple6
The lion is green.
("lion" "is" "green" "+")
triple7
The lion is young.
("lion" "is" "young" "+")
triple8
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel is young.
("squirrel" "is" "young" "+")
triple12
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple13
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple14
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple15
The lion is kind.
("lion" "is" "kind" "+")
((triple15) -> (rule1 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1