The bear is not kind. The bear is not round. The bear likes the cow. The bear likes the squirrel. The bear visits the cow. The cow chases the bear. The cow is kind. The cow is nice. The cow is not young. The cow likes the bear. The squirrel does not chase the bear. The squirrel is cold. The squirrel is kind. The squirrel does not like the bear. The squirrel likes the cow. The squirrel visits the cow. If someone visits the bear then the bear visits the cow.
The bear is not kind.
("bear" "is" "kind" "-")
The bear is not round.
("bear" "is" "round" "-")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is not young.
("cow" "is" "young" "-")
The cow likes the bear.
("cow" "likes" "bear" "+")
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel does not like the bear.
("squirrel" "likes" "bear" "-")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If someone visits the bear then the bear visits the cow.
((("someone" "visits" "bear" "+")) -> ("bear" "visits" "cow" "+"))
The bear likes the squirrel.
True
1
proof
[(triple4)]
("bear" "likes" "squirrel" "+")
triple4
The squirrel does not visit the cow.
False
1
inv-proof
[(triple16)]
("squirrel" "visits" "cow" "-")
triple16
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The squirrel chases the cow.
Unknown
random
[@0: The squirrel chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "cow" "+")
@0: The bear is not kind.[(triple1)] The bear is not round.[(triple2)] The bear likes the cow.[(triple3)] The bear likes the squirrel.[(triple4)] The bear visits the cow.[(triple5)] The cow chases the bear.[(triple6)] The cow is kind.[(triple7)] The cow is nice.[(triple8)] The cow is not young.[(triple9)] The cow likes the bear.[(triple10)] The squirrel does not chase the bear.[(triple11)] The squirrel does not like the bear.[(triple14)] The squirrel is cold.[(triple12)] The squirrel is kind.[(triple13)] The squirrel likes the cow.[(triple15)] The squirrel visits the cow.[(triple16)]
The bear is not kind.
("bear" "is" "kind" "-")
triple1
The bear is not round.
("bear" "is" "round" "-")
triple2
The bear likes the cow.
("bear" "likes" "cow" "+")
triple3
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple4
The bear visits the cow.
("bear" "visits" "cow" "+")
triple5
The cow chases the bear.
("cow" "chases" "bear" "+")
triple6
The cow is kind.
("cow" "is" "kind" "+")
triple7
The cow is nice.
("cow" "is" "nice" "+")
triple8
The cow is not young.
("cow" "is" "young" "-")
triple9
The cow likes the bear.
("cow" "likes" "bear" "+")
triple10
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
triple11
The squirrel does not like the bear.
("squirrel" "likes" "bear" "-")
triple14
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple13
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple15
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple16