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