The lion likes the mouse. The mouse likes the lion. The mouse visits the lion. The squirrel is red. The squirrel is young. The squirrel does not like the mouse. The squirrel does not visit the lion. The tiger does not eat the squirrel. The tiger is not nice. The tiger is red. If the lion likes the tiger and the lion eats the tiger then the tiger visits the mouse.
The tiger does not visit the mouse.
@0: The lion likes the mouse.[(triple1)] The mouse likes the lion.[(triple2)] The mouse visits the lion.[(triple3)] The squirrel does not like the mouse.[(triple6)] The squirrel does not visit the lion.[(triple7)] The squirrel is red.[(triple4)] The squirrel is young.[(triple5)] The tiger does not eat the squirrel.[(triple8)] The tiger is not nice.[(triple9)] The tiger is red.[(triple10)]