The bear does not eat the squirrel. The bear is big. The bear likes the squirrel. The bear likes the tiger. The lion does not like the bear. The lion likes the squirrel. The squirrel chases the tiger. The tiger does not eat the lion. The tiger is green. The tiger is young. The tiger likes the bear. The tiger likes the squirrel. If something eats the tiger then it does not eat the bear.
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
The bear is big.
("bear" "is" "big" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The lion does not like the bear.
("lion" "likes" "bear" "-")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The tiger does not eat the lion.
("tiger" "eats" "lion" "-")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
If something eats the tiger then it does not eat the bear.
((("something" "eats" "tiger" "+")) -> ("something" "eats" "bear" "-"))
The lion likes the squirrel.
True
1
proof
[(triple6)]
("lion" "likes" "squirrel" "+")
triple6
The bear does not like the squirrel.
False
1
inv-proof
[(triple3)]
("bear" "likes" "squirrel" "-")
triple3
The squirrel does not like the bear.
Unknown
inv-random
[@0: The squirrel likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bear" "-")
The bear chases the tiger.
Unknown
random
[@0: The bear chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "tiger" "+")
@0: The bear does not eat the squirrel.[(triple1)] The bear is big.[(triple2)] The bear likes the squirrel.[(triple3)] The bear likes the tiger.[(triple4)] The lion does not like the bear.[(triple5)] The lion likes the squirrel.[(triple6)] The squirrel chases the tiger.[(triple7)] The tiger does not eat the lion.[(triple8)] The tiger is green.[(triple9)] The tiger is young.[(triple10)] The tiger likes the bear.[(triple11)] The tiger likes the squirrel.[(triple12)]
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple3
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple4
The lion does not like the bear.
("lion" "likes" "bear" "-")
triple5
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple6
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple7
The tiger does not eat the lion.
("tiger" "eats" "lion" "-")
triple8
The tiger is green.
("tiger" "is" "green" "+")
triple9
The tiger is young.
("tiger" "is" "young" "+")
triple10
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple11
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple12