The lion eats the squirrel. The lion eats the tiger. The lion is kind. The lion is rough. The lion likes the tiger. The lion visits the squirrel. The lion visits the tiger. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel likes the tiger. The squirrel visits the tiger. The tiger is rough. The tiger likes the lion. The tiger likes the squirrel. The tiger visits the lion. If the squirrel is rough and the squirrel visits the lion then the lion eats the squirrel.
The lion does not like the lion.
@0: The lion eats the squirrel.[(triple1)] The lion eats the tiger.[(triple2)] The lion is kind.[(triple3)] The lion is rough.[(triple4)] The lion likes the tiger.[(triple5)] The lion visits the squirrel.[(triple6)] The lion visits the tiger.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is red.[(triple9)] The squirrel is rough.[(triple10)] The squirrel likes the tiger.[(triple11)] The squirrel visits the tiger.[(triple12)] The tiger is rough.[(triple13)] The tiger likes the lion.[(triple14)] The tiger likes the squirrel.[(triple15)] The tiger visits the lion.[(triple16)]