The bear eats the cat. The bear is big. The bear is blue. The bear needs the cow. The cat eats the bear. The cat is blue. The cat visits the bear. The cow eats the bear. The cow is green. The cow is nice. The cow is round. The cow needs the bear. The cow needs the cat. The cow visits the bear. The cow visits the cat. If someone eats the cow then the cow needs the cat.
The cow is not blue.
@0: The bear eats the cat.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear needs the cow.[(triple4)] The cat eats the bear.[(triple5)] The cat is blue.[(triple6)] The cat visits the bear.[(triple7)] The cow eats the bear.[(triple8)] The cow is green.[(triple9)] The cow is nice.[(triple10)] The cow is round.[(triple11)] The cow needs the bear.[(triple12)] The cow needs the cat.[(triple13)] The cow visits the bear.[(triple14)] The cow visits the cat.[(triple15)]