The mouse is cold. The mouse needs the tiger. The mouse visits the squirrel. The rabbit chases the mouse. The rabbit needs the squirrel. The rabbit visits the mouse. The rabbit visits the tiger. The squirrel is round. The squirrel visits the mouse. The tiger is not big. If something needs the tiger and it does not chase the rabbit then the rabbit chases the squirrel. If something chases the squirrel and it does not chase the rabbit then the rabbit does not visit the mouse.
The mouse does not visit the squirrel.
@0: The mouse is cold.[(triple1)] The mouse needs the tiger.[(triple2)] The mouse visits the squirrel.[(triple3)] The rabbit chases the mouse.[(triple4)] The rabbit needs the squirrel.[(triple5)] The rabbit visits the mouse.[(triple6)] The rabbit visits the tiger.[(triple7)] The squirrel is round.[(triple8)] The squirrel visits the mouse.[(triple9)] The tiger is not big.[(triple10)]