The mouse likes the squirrel. The mouse needs the squirrel. The rabbit likes the squirrel. The rabbit needs the mouse. The squirrel is big. The squirrel likes the rabbit. The squirrel visits the mouse. If something likes the rabbit and it visits the squirrel then it is red. If something likes the rabbit and it visits the rabbit then it likes the squirrel. If the mouse visits the squirrel then the mouse visits the rabbit.
The squirrel is not big.
@0: The mouse likes the squirrel.[(triple1)] The mouse needs the squirrel.[(triple2)] The rabbit likes the squirrel.[(triple3)] The rabbit needs the mouse.[(triple4)] The squirrel is big.[(triple5)] The squirrel likes the rabbit.[(triple6)] The squirrel visits the mouse.[(triple7)]