The bear eats the mouse. The bear is cold. The bear visits the mouse. The cow likes the bear. The cow likes the mouse. The cow visits the bear. The cow visits the mouse. The mouse is big. The mouse is kind. The mouse likes the cow. The mouse visits the bear. The mouse visits the cow. If someone visits the bear and the bear likes the cow then the bear is big.
The bear is not big.
@0: The bear eats the mouse.[(triple1)] The bear is cold.[(triple2)] The bear visits the mouse.[(triple3)] The cow likes the bear.[(triple4)] The cow likes the mouse.[(triple5)] The cow visits the bear.[(triple6)] The cow visits the mouse.[(triple7)] The mouse is big.[(triple8)] The mouse is kind.[(triple9)] The mouse likes the cow.[(triple10)] The mouse visits the bear.[(triple11)] The mouse visits the cow.[(triple12)]