The bear is green. The bear is not nice. The bear is rough. The bear does not like the cow. The bear needs the cat. The bear does not need the cow. The bear does not see the cat. The bear sees the cow. The cat is green. The cat is rough. The cat needs the bear. The cat sees the cow. The cow is green. The cow is not red. The cow does not like the bear. The cow needs the bear. If someone needs the bear and the bear is nice then the bear sees the cat. If the cow needs the cat then the cow needs the bear. If someone sees the cat then the cat is not nice.
The bear is green.
("bear" "is" "green" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The bear is rough.
("bear" "is" "rough" "+")
The bear does not like the cow.
("bear" "likes" "cow" "-")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear does not need the cow.
("bear" "needs" "cow" "-")
The bear does not see the cat.
("bear" "sees" "cat" "-")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is not red.
("cow" "is" "red" "-")
The cow does not like the bear.
("cow" "likes" "bear" "-")
The cow needs the bear.
("cow" "needs" "bear" "+")
If someone needs the bear and the bear is nice then the bear sees the cat.
((("someone" "needs" "bear" "+") ("bear" "is" "nice" "+")) -> ("bear" "sees" "cat" "+"))
If the cow needs the cat then the cow needs the bear.
((("cow" "needs" "cat" "+")) -> ("cow" "needs" "bear" "+"))
If someone sees the cat then the cat is not nice.
((("someone" "sees" "cat" "+")) -> ("cat" "is" "nice" "-"))
The cat is green.
True
1
proof
[(triple9)]
("cat" "is" "green" "+")
triple9
The cow likes the bear.
False
1
inv-proof
[(triple15)]
("cow" "likes" "bear" "+")
triple15
The cat does not like the bear.
Unknown
inv-random
[@0: The cat likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bear" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The bear does not like the cow.[(triple4)] The bear does not need the cow.[(triple6)] The bear does not see the cat.[(triple7)] The bear is green.[(triple1)] The bear is not nice.[(triple2)] The bear is rough.[(triple3)] The bear needs the cat.[(triple5)] The bear sees the cow.[(triple8)] The cat is green.[(triple9)] The cat is rough.[(triple10)] The cat needs the bear.[(triple11)] The cat sees the cow.[(triple12)] The cow does not like the bear.[(triple15)] The cow is green.[(triple13)] The cow is not red.[(triple14)] The cow needs the bear.[(triple16)]
The bear does not like the cow.
("bear" "likes" "cow" "-")
triple4
The bear does not need the cow.
("bear" "needs" "cow" "-")
triple6
The bear does not see the cat.
("bear" "sees" "cat" "-")
triple7
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is not nice.
("bear" "is" "nice" "-")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear needs the cat.
("bear" "needs" "cat" "+")
triple5
The bear sees the cow.
("bear" "sees" "cow" "+")
triple8
The cat is green.
("cat" "is" "green" "+")
triple9
The cat is rough.
("cat" "is" "rough" "+")
triple10
The cat needs the bear.
("cat" "needs" "bear" "+")
triple11
The cat sees the cow.
("cat" "sees" "cow" "+")
triple12
The cow does not like the bear.
("cow" "likes" "bear" "-")
triple15
The cow is green.
("cow" "is" "green" "+")
triple13
The cow is not red.
("cow" "is" "red" "-")
triple14
The cow needs the bear.
("cow" "needs" "bear" "+")
triple16