The lion sees the mouse. The lion does not visit the mouse. The mouse does not eat the tiger. The tiger eats the lion. The tiger is big. The tiger is rough. The tiger does not see the lion. If something visits the tiger then it does not eat the lion. If something is big and it does not eat the lion then the lion is red.
The tiger is kind.
@0: The lion does not visit the mouse.[(triple2)] The lion sees the mouse.[(triple1)] The mouse does not eat the tiger.[(triple3)] The tiger does not see the lion.[(triple7)] The tiger eats the lion.[(triple4)] The tiger is big.[(triple5)] The tiger is rough.[(triple6)]