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