The cat is big. The cat likes the squirrel. The lion is kind. The lion likes the squirrel. The lion needs the mouse. The lion visits the mouse. The mouse is cold. The mouse visits the squirrel. The squirrel is big. The squirrel needs the lion. The squirrel visits the lion. The squirrel visits the mouse. If something needs the cat and it is cold then the cat likes the mouse. If something needs the squirrel and it needs the lion then the squirrel likes the cat. If something needs the mouse and it is round then it likes the lion.
The squirrel needs the mouse.
@0: The cat is big.[(triple1)] The cat likes the squirrel.[(triple2)] The lion is kind.[(triple3)] The lion likes the squirrel.[(triple4)] The lion needs the mouse.[(triple5)] The lion visits the mouse.[(triple6)] The mouse is cold.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel is big.[(triple9)] The squirrel needs the lion.[(triple10)] The squirrel visits the lion.[(triple11)] The squirrel visits the mouse.[(triple12)]