The bear is nice. The bear is round. The bear likes the mouse. The bear needs the mouse. The bear visits the cow. The cow is round. The cow likes the bear. The cow needs the bear. The cow needs the mouse. The cow visits the bear. The mouse is big. The mouse is round. The mouse likes the bear. The mouse likes the cow. The mouse needs the cow. The mouse visits the bear. If the cow is nice then the cow visits the mouse.
The bear does not need the mouse.
@0: The bear is nice.[(triple1)] The bear is round.[(triple2)] The bear likes the mouse.[(triple3)] The bear needs the mouse.[(triple4)] The bear visits the cow.[(triple5)] The cow is round.[(triple6)] The cow likes the bear.[(triple7)] The cow needs the bear.[(triple8)] The cow needs the mouse.[(triple9)] The cow visits the bear.[(triple10)] The mouse is big.[(triple11)] The mouse is round.[(triple12)] The mouse likes the bear.[(triple13)] The mouse likes the cow.[(triple14)] The mouse needs the cow.[(triple15)] The mouse visits the bear.[(triple16)]