The bear does not need the mouse. The bear needs the tiger. The lion does not eat the mouse. The lion is not red. The lion is not young. The lion needs the tiger. The lion sees the mouse. The mouse is cold. The mouse needs the lion. The mouse needs the tiger. The mouse sees the tiger. The tiger is big. The tiger is red. The tiger is not young. The tiger sees the lion. If the bear eats the tiger and the bear is not red then the tiger does not see the lion. If the mouse needs the bear then the bear does not eat the tiger. If something sees the mouse then it is cold. If something eats the lion and the lion eats the mouse then it eats the bear. If something is red and it eats the mouse then the mouse is kind. If something sees the lion and it eats the tiger then the tiger is red. If something eats the tiger then it does not see the tiger. If the bear does not see the tiger then the tiger is not young.
The lion needs the tiger.
@0: The bear does not need the mouse.[(triple1)] The bear needs the tiger.[(triple2)] The lion does not eat the mouse.[(triple3)] The lion is not red.[(triple4)] The lion is not young.[(triple5)] The lion needs the tiger.[(triple6)] The lion sees the mouse.[(triple7)] The mouse is cold.[(triple8)] The mouse needs the lion.[(triple9)] The mouse needs the tiger.[(triple10)] The mouse sees the tiger.[(triple11)] The tiger is big.[(triple12)] The tiger is not young.[(triple14)] The tiger is red.[(triple13)] The tiger sees the lion.[(triple15)] @1: The lion is cold.[(((triple7) -> rule3))]