The bear eats the mouse. The bear is round. The bear needs the cow. The bear needs the dog. The cow eats the bear. The dog eats the bear. The dog eats the cow. The dog visits the bear. The mouse eats the cow. The mouse is big. The mouse is kind. The mouse visits the dog. If something visits the mouse and the mouse needs the cow then the cow is round.
The cow does not eat the bear.
@0: The bear eats the mouse.[(triple1)] The bear is round.[(triple2)] The bear needs the cow.[(triple3)] The bear needs the dog.[(triple4)] The cow eats the bear.[(triple5)] The dog eats the bear.[(triple6)] The dog eats the cow.[(triple7)] The dog visits the bear.[(triple8)] The mouse eats the cow.[(triple9)] The mouse is big.[(triple10)] The mouse is kind.[(triple11)] The mouse visits the dog.[(triple12)]