The lion is not kind. The mouse sees the tiger. The squirrel does not eat the tiger. The tiger is not kind. If someone eats the tiger then the tiger sees the mouse. If the tiger does not see the lion then the lion visits the mouse.
The lion does not visit the mouse.
@0: The lion is not kind.[(triple1)] The mouse sees the tiger.[(triple2)] The squirrel does not eat the tiger.[(triple3)] The tiger is not kind.[(triple4)]