The cow is not cold. The cow needs the lion. The lion is kind. The lion is nice. The lion is red. The lion likes the cow. The lion likes the squirrel. The lion needs the cow. The lion needs the squirrel. The lion visits the cow. The lion visits the squirrel. The squirrel is cold. If the squirrel is not red then the squirrel is not big. If something likes the cow and the cow does not like the lion then the lion likes the squirrel.
The lion visits the squirrel.
@0: The cow is not cold.[(triple1)] The cow needs the lion.[(triple2)] The lion is kind.[(triple3)] The lion is nice.[(triple4)] The lion is red.[(triple5)] The lion likes the cow.[(triple6)] The lion likes the squirrel.[(triple7)] The lion needs the cow.[(triple8)] The lion needs the squirrel.[(triple9)] The lion visits the cow.[(triple10)] The lion visits the squirrel.[(triple11)] The squirrel is cold.[(triple12)]