The bear is kind. The bear is not red. The bear needs the lion. The bear sees the mouse. The lion eats the tiger. The lion needs the tiger. The lion sees the mouse. The lion does not see the tiger. The mouse eats the lion. The mouse eats the tiger. The mouse is red. The tiger eats the mouse. The tiger is red. The tiger needs the lion. The tiger does not see the lion. The tiger does not see the mouse. If someone sees the tiger then they are not rough. If someone sees the mouse then the mouse sees the lion. If the mouse needs the bear then the mouse sees the lion. If the mouse sees the bear then the bear does not see the lion. If someone sees the lion then they see the tiger. If someone eats the lion and the lion needs the tiger then they are young.
The tiger does not need the lion.
@0: The bear is kind.[(triple1)] The bear is not red.[(triple2)] The bear needs the lion.[(triple3)] The bear sees the mouse.[(triple4)] The lion does not see the tiger.[(triple8)] The lion eats the tiger.[(triple5)] The lion needs the tiger.[(triple6)] The lion sees the mouse.[(triple7)] The mouse eats the lion.[(triple9)] The mouse eats the tiger.[(triple10)] The mouse is red.[(triple11)] The tiger does not see the lion.[(triple15)] The tiger does not see the mouse.[(triple16)] The tiger eats the mouse.[(triple12)] The tiger is red.[(triple13)] The tiger needs the lion.[(triple14)] @1: The mouse is young.[(((triple9 triple6) -> rule6))] The mouse sees the lion.[(((triple4) -> rule2) OR ((triple7) -> rule2))] @2: The mouse sees the tiger.[(((((triple4) -> rule2)) -> rule5) OR ((((triple7) -> rule2)) -> rule5))] @3: The mouse is not rough.[(((((((triple4) -> rule2)) -> rule5)) -> rule1) OR ((((((triple7) -> rule2)) -> rule5)) -> rule1))]