The cat visits the cow. The cow chases the mouse. The cow is big. The cow visits the cat. The lion chases the cow. The lion is kind. The lion needs the cat. The lion does not need the cow. The lion visits the cat. The mouse does not chase the cat. The mouse chases the cow. The mouse chases the lion. The mouse is kind. The mouse is not rough. The mouse needs the cow. If something visits the mouse and it needs the cow then it is not big.
The cat visits the cow.
@0: The cat visits the cow.[(triple1)] The cow chases the mouse.[(triple2)] The cow is big.[(triple3)] The cow visits the cat.[(triple4)] The lion chases the cow.[(triple5)] The lion does not need the cow.[(triple8)] The lion is kind.[(triple6)] The lion needs the cat.[(triple7)] The lion visits the cat.[(triple9)] The mouse chases the cow.[(triple11)] The mouse chases the lion.[(triple12)] The mouse does not chase the cat.[(triple10)] The mouse is kind.[(triple13)] The mouse is not rough.[(triple14)] The mouse needs the cow.[(triple15)]