The lion does not need the rabbit. The lion sees the tiger. The mouse eats the lion. The mouse is kind. The mouse needs the lion. The mouse does not see the lion. The rabbit is blue. The rabbit sees the mouse. The tiger sees the mouse. The tiger does not see the rabbit. If the lion eats the tiger and the tiger does not see the mouse then the tiger is not cold. If something sees the lion then the lion eats the tiger. If something sees the tiger then the tiger does not need the rabbit. If the rabbit sees the lion and the mouse does not see the rabbit then the lion sees the rabbit. If something is rough and it does not need the tiger then it needs the mouse. If something is big then it needs the rabbit.
The mouse is not kind.
@0: The lion does not need the rabbit.[(triple1)] The lion sees the tiger.[(triple2)] The mouse does not see the lion.[(triple6)] The mouse eats the lion.[(triple3)] The mouse is kind.[(triple4)] The mouse needs the lion.[(triple5)] The rabbit is blue.[(triple7)] The rabbit sees the mouse.[(triple8)] The tiger does not see the rabbit.[(triple10)] The tiger sees the mouse.[(triple9)] @1: The tiger does not need the rabbit.[(((triple2) -> rule3))]